LPL 8.2 lecture

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

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

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)

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

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