Lecture-06

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

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

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) ! ! ~ ! 㱤! ~ !

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

View Full Document
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
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
Ask a homework question - tutors are online