Handouts

1.  Names, Predicates and Functions

2.  Arguments

3.  Truth tables and circuit diagrams

4.  Logical vs. formal relations

5.  Strategies for Boolean proofs

6.  The Batting Order for Boolean Proofs

6.  Rules of inference sheet (for problem sets 4-6 and midterm)

8.  Useful quantifier equivalences

9.  Strategies for first-order proofs

10.  Rules of inference sheet (for problem sets 9 – 10 and final exam)

11.  Complex Quantifiers

12.  Proof in FOL that 1+1=2.

13.  Victor’s cheat sheet for the final exam.  (N.B. this cannot be brought into the final exam.  But you can memorise the material in advance.)