PHIL 10 Lecture Notes - Lecture 3: Conditional Proof, Ds 5, Thanetian

• School: UCSD
• Department: Philosophy
• Course: PHIL 10
• Professor: Rick Grush

Document Summary

Proofs: inference rules: introduction to the proof, two inference rules: mp, ds, examples, truth preservation, mt, di, conj, simp, examples, conditional proof (cp) Introduction to the proof method: representation of argument, (a b) c, a b, c. / c: (a b) c, a b. / c: how does it work, d v (e ~g, ~d g. / ~e: use rules to derive new numbered lines from existing numbered lines, goas is to derive the conclusion on a numbered line, d v (e ~g, ~d g, ~d. New numbered line (cid:858)justification(cid:859): the rule and prior lines used to derive the new rule: d v (e ~g, ~d g, ~d, e ~g, g, ~e. 5, 4 mt: if the premises are true, then all the derived lines must be true. And the conclusion is one of those derived lines: if the premises are true, then the conclusion must be true.