SOLUTION: A -> B C -> ~B C v N A therefore N

Algebra ->  Proofs -> SOLUTION: A -> B C -> ~B C v N A therefore N      Log On


   

Question 701704: A -> B
C -> ~B
C v N
A
therefore N
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
1.  A -> B
2.  C -> ~B
3.  C v N
4.  A            / N
-----------------------
5.  B              1,4    MP
6.  ~~B            5      DN
7.  ~C             2,6    MT
8.  N              3,7    DS