LPL 8.2 lecture

LPL 8.2 lecture - biconditional statement itself and the...

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

View Full Document Right Arrow Icon
Formal rules of proof for and Rules for the conditional: Conditional Elimination ( Elim): P Q : P : Q Also called modus ponens , the rule for conditional elimination allows you to assert the consequent of a conditional statement when you have proven both the conditional statement itself and its antecedent. 2. Cube(a) Large(a) : 5. Cube(a) : 7. Large(a) Elim: 2, 5 Conditional Introduction ( Intro): P : Q P Q Conditional introduction may be used to assert a conditional statement when, in a subproof, it is demonstrated that when the antecedent is assumed, the consequent results. 3. Small(b) : 5. Dodec(b) 6. Small(b) Dodec(b) Intro: 3-5 Exercises: You try it (p. 207, 208)
Background image of page 1

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

View Full DocumentRight Arrow Icon
Rules for the biconditional: Biconditional Elimination ( Elim): P Q (or Q P) : P : Q Biconditional elimination may be used to assert either side of a biconditional statement if both the
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: biconditional statement itself and the other side of the biconditional statement have been proven. 4. Tet(c) Medium(c) : 7. Medium(c) : 9. Tet(c) Elim: 4, 7 Biconditional Introduction ( Intro): P : Q Q : P P Q Biconditional introduction may be used to assert a biconditional statement when two subproofs are present to demonstrate each of the conditional statements of which the biconditional is composed. 2. Cube(d) : 4. Small(d) 6. Small(d) : 8. Cube(d) 9. Cube(d) Small(d) Intro: 2-4, 6-8 Exercises: You try it (p. 210) OthersModus Tollens (8.19), Strengthening the Antecedent (8.20), Weakening the Consequent (8.23), Constructive Dilemma (8.24)...
View Full Document

This note was uploaded on 02/10/2011 for the course PHIL 110 taught by Professor ? during the Spring '06 term at South Carolina.

Page1 / 3

LPL 8.2 lecture - biconditional statement itself and the...

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