LogicMidtermReview

LogicMidtermReview - | |9. C v D v Intro 8 | |10. C v D v...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
|1. A -> B |2. -B /: -A | |3. A [contradiction] | |4. B ->Elim 1,3 | |5. [Contradiction] [contradiction] intro 2,4 |6. –A -Intro 3-5 /: P->(Q->P) | |1. P [Q->P] | | |2. Q [P] | | |3. P Reit 1 | |4. Q->P ->Intro 2-3 |5. P->(Q->P) ->Intro 1-4 |1. A v B |2. A->C |3. B->D /: C v D | |4. A (C v D) | | 5. C ->Elim 2,4 | |6. C v D v Intro 5 | | |7. B (C v D) | |8. D ->Elim 3,7
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: | |9. C v D v Intro 8 | |10. C v D v Elim 1, 4-6, 7-9 |1. A<->B |2. B<->C /: A<->C /:(A->C)^(C->A) | |3. A [C] | |4. B <-> Elim 1,3 | |5. C <-> Elim 2,4 (unnecessary)|6. A->C-> Intro 3-5 | |6. C | |7. B <-> Elim 2,7 | |8. A <-> Elim 1,8 (unnecessary)|9. C->A-> Intro 7-9 |9 . A<->C <-> Intro 3-5,6-8...
View Full Document

Ask a homework question - tutors are online