PHIL 10 Chapter Notes - Chapter 3: Nsb Di 8, Modus Tollens, Modus Ponens
Document Summary
Phil 10 textbook notes chapter 3: proofs in sentential logic. Lines: numbered premises: conclusion not on a numbered line. Producing line with conclusion on it is the goal: when you get a line with the conclusion, the proof is complete, the argument is valid. Truth preserving: if the premises are true, then the new statement will be true: conclusion true if all premises are true. 1. (a b) c: a b, (a b) c, a b, c. Derive: statement is produced according to rules of the proof. Justification: cites the rule that was applied, and lines it was applied to, to derive the line: all derived lines must be justified, lines applied to can be in any order. Rules of inference only apply to entire lines. If using mp, conditional has to be entire statement of the line, not just part of it. B (a c: b, a, b (a c, b, a, a c, c.