SOLUTION: 1.(A&B)⊃C 2. B& ~c/ ~A (indirect proof

Algebra ->  Proofs -> SOLUTION: 1.(A&B)⊃C 2. B& ~c/ ~A (indirect proof      Log On


   

Question 1131580: 1.(A&B)⊃C
2. B& ~c/ ~A
(indirect proof
Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!
1.(A&B)⊃C
2. B&~C       / ~A
(indirect proof

          | 3.  ~~A        AIP
          | 4.  A       3, DN
          | 5.  B       2, simp. 
          | 6.  A&B     4,5, conj.
          | 7.  C       1,6, MP
          | 8.  ~C&B    2, commutation
          | 9.  ~C      8, simp.
          |10.  C&~C    7,9, conj.
11. ~A     lines 3-10     IP

Edwin