I’ve put together a handout summarizing the language of (First-Order) Predicate Logic, which we’ve been developing over the past week. On Tuesday, we’ll finish up with the semantics of quantified formulas, which is also included in the handout. There’s also quite a bit of discussion about calculating the truth values and truth conditions for formulas in (First-Order) Predicate Logic, so have a look…I think you’ll find it useful!
(Note: Â the link now leads to the revised version of the handout, which I also distributed in today’s (Tu, 11/10) class.)