PHIL 120A Final Exam Prep
(12-1 p.m. Friday, Aug. 18, 2006)

Be able to do anything on HW4 or HW5 or in-class quizzes, including but not limited to 

• proofs using SI or TI (with or without substitution-instances) along with the sequent sheet

•  

• recognition of what has been substituted for what, in any substitution-instance

•  

• proofs using Lemmon's four quantifier rules and two identity rules (along with any propositional rules)

•  

• recognition of wffs of the predicate calculus (including those with the identity predicate)

•  

• translation of potentially ambiguous English sentences into wffs of the predicate calculus, and vice versa

•  

• recognition of logically equivalent wffs of the predicate calculus

•  

• recognition of legal and illegal moves in proofs

In addition, be able to briefly explain errors in a proof.

Know the symbols of the predicate calculus (including identity), what is and is not a formula, and what is a wff.

Be able to recognize whether a given wff is a theorem or not, and whether a given sequent is valid or not.

See Class Notes 2 (pages 4-5) for more on SI and TI.  See Class Notes 3 for more on predicate logic.  See Exam 2 Answers for more on proof techniques in general.