This preview has intentionally blurred sections. Sign up to view the full version.View Full 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.
- Spring '06