1. Formal Logic Mathematical Structures for Computer Science Chapter 1 Copyright© 2006 W.H. Freeman & Co., Modified by David Hyland-Wood to correct errors in the original…