For next Tuesday’s class, please read sections 2.3-2.4 (pgs. 35-47) of the Kearns textbook.  The first half of the reading introduces the basic notions of Predicate Logic, which we will continue with on Tuesday.  The second half turns to the logical quantifiers ‘every’ and ‘some’, which will also occupy our attention in the coming weeks.