Rules of Replacement 2

Rules of Replacement 2 - because the S and R are together...

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

View Full Document Right Arrow Icon
Natural Deduction Natural Deduction 7.4 © 2006 Kevin J. Browne
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
Rules of Replacement II Transposition Material Implication Material Equivalence Exportation Tautology
Background image of page 2
Transposition Transposition p p q q ~ ~ ~ ~
Background image of page 3

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

View Full Document Right Arrow Icon
Material Implication p p q q v v ~ ~
Background image of page 4
Material Equivalence Material Equivalence p = q (p q) . (q p) p p = (p . q) v (~p . q )
Background image of page 5

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

View Full Document Right Arrow Icon
Exportation Exportation p p (q (q r) (p . q) (p . q) r
Background image of page 6
Tautology Tautology p p v v p p . .
Background image of page 7

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

View Full Document Right Arrow Icon
An Example An Example 1. (S . K) R 2. K /S R Here we seem unable to use any of the rules of inference immediately. Let’s try a rule of replacement… exportation? But this leads to a problem! Exportation gives us: S (K R) This can’t be right
Background image of page 8
Background image of page 9

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

View Full Document Right Arrow Icon
Background image of page 10
Background image of page 11

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

View Full Document Right Arrow Icon
Background image of page 12
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: because the S and R are together in the conclusion but they’re separated now. An Example An Example 1. (S . K) ⊃ R 2. K /S ⊃ R But, S . K is a conjunction. (commutativity) An Example An Example 1. (S . K) ⊃ R 2. K /S ⊃ R 3. (K . S) ⊃ R 1 comm. Now we can perform exportation with no problem. An Example An Example 1. (S . K) ⊃ R 2. K /S ⊃ R 3. (K . S) ⊃ R 1 comm. 4. K ⊃ (S ⊃ R) 3 exp. This allows us to use a rule of inference. MP An Example An Example 1. (S . K) ⊃ R 2. K /S ⊃ R 3. (K . S) ⊃ R 1 comm. 4. K ⊃ (S ⊃ R) 3 exp. 5. S ⊃ R 2,4 MP...
View Full Document

{[ snackBarMessage ]}

Page1 / 12

Rules of Replacement 2 - because the S and R are together...

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

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