PHIL 120A Exam 1 Prep
(for Fri., June 30)

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

• truth-table tests to determine 

•         validity of sequents

•         classification of wffs

•         or relations between wffs

•  

• metalogical evaluation for

•         validity of sequents

•         classification of wffs

•         or relations between wffs

•  

• translation of English into wffs and vice versa

•  

• safeness and completeness

•  

• construction and classification of corresponding conditionals.

Know the symbols of the propositional calculus, other symbols not in the propositional calculus, what is a formula (both well-formed and not), and other kinds of symbolic expressions that are not formulas.

Given any two wffs, be able to say whether or not one implies or is implied by the other.

Be able to give examples of wffs of any classification, using any specified number of propositional variables or connectives.  Be able to give examples of valid or invalid sequents, using any specified number of propositional variables or connectives.