PHIL 120 Lecture Notes - Lecture 1: Rule Of Inference, Ibm System P

• School: UBC
• Department: Philosophy
• Course: PHIL 120
• Professor: Alexandre Korolev

Document Summary

Remember that the order of the premises does not matter: (a v ~b) ~c, (a v ~b) /:. C: ~(a v b) c, ~c / :. ~(a v b: ~a ~(b v c), (d & e) ~a / :. (d & e) ~(b v c) h. s. Correct: ~b / :. (~a & (~d (c& ~e))) v ~b. Correct: ~(a v b) v (c ~d), ~(c ~d) / :. Incorrect: cite the transformation rule that was used in the following valid inferences, (~a v ~b) v c, ~c /:. ~a v ~b: ~(a v b) (~a v ~b), ~(~a v ~b) / :. ~~(a v b: (~b v ~c) ~d, ~a (~b v ~c) / :. ~a ~d: ~(~b ~a), a (~b ~a) / :. ~a: (~b ~c) (~a ~b), ~a (~b ~c)/ :. Mt: using the transformation rules of system p, prove each of the following arguments to be valid, (b ~a), (c b), a /:.