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

Algebra.Com
Question 1131580: 1.(A&B)⊃C
2. B& ~c/ ~A
(indirect proof
Answer by Edwin McCravy(20054)   (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
RELATED QUESTIONS

Using an indirect proof to solve this problem: 1. B ⊃ (C ⊃~B) 2. A... (answered by jim_thompson5910)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)
Indirect proof 9. 1) R 2) (~ C v ~ D) v S 3) ~ (C ⋅ D) ⊃ ~R / ∴ S (answered by solver91311)
Premises: 1. A ⊃ X 2. X ⊃ (B... (answered by math_helper)
Please help me solve this proof! Premises: 1. (A⊃B)&(C⊃D) 2.... (answered by Edwin McCravy)
Natural Deduction How do I solve the proof: 1. (Av~B)⊃((A•C)⊃B) 2. ~B (answered by Edwin McCravy)
Using a conditional proof: 1. (D v E) ⊃ (F · G) 2.( A v B) ⊃ (D · C) (answered by jim_thompson5910)
(A&B)->C B&~C/ ~A (indirect... (answered by Edwin McCravy)
Does this proof look correct to you? If you notice any mistakes please let me know! Thank (answered by jim_thompson5910)