SOLUTION: 1. A -> (B -> C) 2. A -> B 3. ~ C ->(A V D) / C V D

Question 1104861: 1. A -> (B -> C)
2. A -> B
3. ~ C ->(A V D) / C V D
Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!



1. A -> (B -> C)
2. A -> B
3. ~C ->(A V D)  / C V D

              | 4. ~(C V D)        AIP
              | 5. ~C & ~D       4, DM
              | 6. ~C            5, Simp
              | 7. A V D       3,6, MP
              | 8. ~D & ~C       5, Comm
              | 9. ~D            8, Simp
              |10. D V A         7, Comm
              |11. A          10,9, DS
              |12. B          2,12, MP
              |13. B -> C     1,13, MP
              |14. C         13,12, MP
              |15. C & ~C     14,6, Conj
16. C V D                          4-15 IP

Edwin

RELATED QUESTIONS
1. ~ A V (B & E) 2. ~ A -> ~ C 3. C V (B & D) /... (answered by Edwin McCravy)

1. (A v B) > ~C 2. C v D 3. A Conclusion: D (answered by jim_thompson5910)

1. (A->B) v (C�D) 2.A... (answered by jim_thompson5910)

1. A v (B v C) 2. C ⊃ (D • E) 3. ~D / A v B (answered by mccravyedwin)

I need help finishing this proof. A v (~B v ~C), A -> (D -> E), ~(~B v ~D) :. C -> (D -> (answered by jim_thompson5910)

1. (A v B) ⊃ (C v D) 2. C ⊃ E 3. A • E /∴ E v... (answered by Edwin McCravy)

1. A ⊃ B 2. C ⊃ D 3. ~(D v B) // C ≡ A (answered by Edwin McCravy)

1. D 2. ~C 3. (A v B) -> C 4. [(~A � D) � ~B] -> (P -> Q) :. ~P v... (answered by jim_thompson5910)

If vector x is denoted by V(x), If v(d)=p(V(a)XV(b))+q(V(b)XV(c))+r(V(c)XV(a)) and... (answered by venugopalramana)