Lecture-07

Lecture-07 - Inference Rules and replacement Rules x A...

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

View Full Document Right Arrow Icon
1. Last 3 inference rules: Dil, DI, conj 2. Examples 3. First 3 replacement rules: CE, DN, comm 4. Examples Lecture 07 Proofs: Inference & Replacement Rules Final 3 Inference Rules Dilemma (dil) ! ! " # ! v " 㱤! ! v # Final 3 Inference Rules Disjunction Introduction (DI) ! 㱤! ! v ! Final 3 Inference Rules Conjunction (conj) ! ! 㱤! ! ! ! 1. (D v G) (A v C) 3. C H / D ! (H v G) 2. D ! (A G) 4. D 2 simp 5. D v G 4, DI 6. A v C 1, 5 MP 7. A G 2 simp 8. H v G 3, 6, 7 dil 9. D ! (H v G) 4, 8 conj 1. ( ~ A ~ C) A 3. ~ A / ~ C 2. C ( ~ A ~ C) 4. ~ ( ~ A ~ C) 3, 1 MT 5. ~ C 2, 4 MT 4. C A 1, 2 HS 5. ~ C 3, 4 MT
Background image of page 1

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

View Full Document Right Arrow Icon
1. (R v G) ~ A 3. R ! S / W v X 2. A v W 4. R 3 simp 7. W 6, 2 DS 8. W v X 7 DI 5. R v G 4 DI 6. ~ A 1, 5 MP 1. M D 4. G D 1, 2 HS 5. D v M 2, 3, 4 dil 2. G M 3. G v G / D v M First Three Replacement Rules Conditional Exchange (CE) ! ! :: ~ ! v ! First Three Replacement Rules Double Negation (DN) ! :: ~~ ! First Three Replacement Rules Commutation (comm) ! v ! :: ! v ! ! ! ! :: ! ! ! Can be used on part of a line Differences between
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 and replacement Rules x. A 㱭 (B 㱭 C) y. A 㱭 ( ~ B v C) x CE z. ~ A v ( ~ B v C) y CE Can go in either direction Differences between Inference Rules and replacement Rules z. A 㱭 (B 㱭 C) y CE y. A 㱭 ( ~ B v C) x CE x. ~ A v ( ~ B v C) 1. C v (D ! E) 2. A 㱭 ~ C 4. ~ C 㱭 (D ! E) 1 CE 5. A 㱭! (D ! E) 2, 4 HS 6. ~~ A 㱭 (D ! E) 5 DN 8. R 3, 7 MP 9. ~~ R 8 DN 3. { ~~ A 㱭 (E ! D)} 㱭 R / 㱤 ~~ R 7. ~~ A 㱭 (E ! D) 6 comm 1. A v B 2. C v D 3. B 㱭 ~ D / 㱤 ~ A 㱭 ~~ C 4. ~ A 㱭 B 1 CE 5. D v C 2 comm 6. ~ D 㱭 C 5 CE 7. ~ A 㱭 ~ D 3, 4 HS 8. ~ A 㱭 C 6, 7 HS 9. ~ A 㱭 ~~ C 8 DN 1. (P 㱭 Q) 㱭 K 2. K 㱭 (P ! Q) / 㱤 ( ~ Q 㱭 ~ P) 㱭 (Q ! P) 3. ( ~ P v Q) 㱭 K 1 CE 4. (Q v ~ P) 㱭 K 3 comm 5. ( ~ Q 㱭 ~ P) 㱭 K 4 CE 6. ( ~ Q 㱭 ~ P) 㱭 (P ! Q) 5, 2 HS 7. ( ~ Q 㱭 ~ P) 㱭 (Q ! P) 6 comm...
View Full Document

{[ snackBarMessage ]}

Page1 / 3

Lecture-07 - Inference Rules and replacement Rules x A...

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