PHIL 120A Exam 2 Prep
(for Fri., July 21)

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

• proofs using Lemmon's system of ten primitive rules plus one definition (as modified for our course)

•  

• recognition of legal and illegal moves in proofs

•  

• recognition of substitution-instances of wffs or sequent-expressions

•  

• recognition of assumptions and premises at each line of proof

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

Be able to briefly explain and perform the contamination maneuver.

Be able to recognize what sequent has been proven on each line of proof.

Be able to state what has been substituted for what, in any substitution-instance.

Be able to do any proof that we have done in class or that Lemmon has done in his first two chapters (without using his SI or TI rules, which will not appear on this test)