Lecture-06

Lecture-06 - Inference Rules Simplification (simp) ! ! ! !...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
1. Introduction to the proof method 2. Two inference rules: MP, MT, examples 3. Discussion 4. DS, HS, simp, examples Lecture 06 Proofs: Inference Rules Introduction to the Proof Method 1. Representation of argument 1. (A ! B) C 2. A ! B / C Introduction to the Proof Method 2. How does it work? 1. D v (E ~ G) 2. ~ D ! G / ~ E 4. E ~ G 3, 1 DS 6. ~ E 5, 4 MT 3. ~ D 2 simp 5. G 2 simp Introduction to the Proof Method 3. Why does it work? Rules are Truth Preserving If they are applied to only true lines, they will produce only true lines First two Inference Rules Modus Ponens (MP) ! ! ! 㱤! ! First two Inference Rules Modus Tolens (MT) ! ! ~ ! 㱤! ~ !
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
1. (A ! B) C 2. A ! B / C 3. C 1, 2 MP 1. P ~ Q 4. Q / A K 5. ~ P 1, 4 MT 2. ~ Q ~ P 3. ~ P (A K) 6. A K 3, 5 MP Three more Inference Rules Disjunctive Syllogism (DS) ! v ! ~ ! 㱤! ! Hypothetical Syllogism (HS) ! ! ! " 㱤! ! " Three more
Background image of page 2
Background image of page 3
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Inference Rules Simplification (simp) ! ! ! ! ! Three more Inference Rules 1. D v (E ~ G) 2. ~ D ! G / ~ E 3. G 2 simp 5. E ~ G 4, 1 DS 6. ~ E 3, 5 MT 4. ~ D 2 simp 1. (B A) ! (C D) 4. ~ (A D) K / B D 5. ~ K 2, 3 DS 2. ~ B 3. B v ~ K 6. A D 5, 4 MT 7. B A 1 simp 8. B D 6, 7 HS 1. ~ D v (H v H) 5. D / ~ J 6. H ~ J 2 simp 2. ~ R ! (H ~ J) 3. (R ! D) ~ J 4. (H ~ J) (H R) 7. H v H 5, 1 DS 11. H 10, 7 DS 10. ~ H 9, 8 MT 9. ~ R 2 simp 12. ~ J 6, 11 MP 8. H R 6, 4 MP 1. ~ (R R) v K 5. A (B ~ K) / ~ B 8. S ! A 7, 3 MT 6. R R 2, 4 HS 2. R (S ! K) 3. ~ (S ! A) ~ K 4. (S ! K) R 7. K 6, 1 DS 11. ~ B 10, 7 MT 10. B ~ K 9, 5 MP 9. A 8 simp...
View Full Document

This note was uploaded on 09/07/2011 for the course PHIL 10 taught by Professor Churchland during the Spring '08 term at UCSD.

Page1 / 3

Lecture-06 - Inference Rules Simplification (simp) ! ! ! !...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online