[PHILOS 31] - Final Exam Guide - Comprehensive Notes fot the exam (33 pages long!)
Document Summary
Restore parentheses to the left (main connective on the right) P v q: neither peter not patsy came to the party. Biconditional/ if and only if : you will pass if and only if you study. P s v q: if herbie eats pizza at night, he will have nightmares unless he drinks cheap beer, if herbie"s girlfriend stays with him, then he will not have nightmares although he drinks cheap beer. Premise: conditional derivation- if you want to show a conditional, then assume the antecedent is true and work to result with the consequent, show p q. Inference rules- how to form more lines in proofs, abbreviate in proofs: repetition (r) - if you have a symbolic formula, you can repeat it. (cid:1941) : addition (add)- adding a disjunction next to a true disjunct (regardless of the truth value of the other new statement)
