SOLUTION: (A&B)->C B&~C/ ~A (indirect proof)

Algebra.Com
Question 1131581: (A&B)->C
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.  ~C&B    2, Commutation
           | 7.  ~C      6, Simp.
           | 8.  A&B     4,5, Conj.
           | 9.  C       1,8, MP
           |10.  C&~C    9,7, Conj.    <--(contradiction)
11. ~A            Lines 3-10  IP

Edwin
RELATED QUESTIONS

1.(A&B)⊃C 2. B& ~c/ ~A (indirect... (answered by Edwin McCravy)
Use Indirect proof to solve the following: B ≡ (A • D) ~A ⊃ (~B ⊃ C) / A ∨... (answered by Edwin McCravy)
Using an indirect proof to solve this problem: 1. B ⊃ (C ⊃~B) 2. A... (answered by jim_thompson5910)
Using an ordinary proof (not a conditional or indirect proof) (answered by richwmiller)
How do you work through this problem? Use indirect proof: 1. ∼A ⊃ (B • C) 2.... (answered by Edwin McCravy)
Prove the following using indirect proof: 1. (A ∨ B) ⊃ C 2. (∼A ∨ D) ⊃ E (answered by math_tutor2020)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)
COMPLETE THE FOLLOWING PROOFS WITHOUT USING CONDITIONAL PROOF OR INDIRECT PROOF (10 PTS. (answered by Edwin McCravy)
a second type of proof in geometry is a proof by __________.or indirect... (answered by nyc_function)