SOLUTION: I am trying to use indirect proof to derive the conclusion but I am confused on the steps to get to ~A. 1. (A & B) ⊃C 2. B & ~C/~A

Algebra.Com
Question 1171801: I am trying to use indirect proof to derive the conclusion but I am confused on the steps to get to ~A.
1. (A & B) ⊃C
2. B & ~C/~A


Answer by Edwin McCravy(20055)   (Show Source): You can put this solution on YOUR website!
Start out assuming the negation of the conclusion and reach a contradiction.
The conclusion is ~A, so its negation is ~~A

A contradiction is always in the form p & ~p. It's C & ~C.  We reach it in step
10.

1. (A & B) ⊃C
2. B & ~C/~A

          | 3. ~~A       Assumption for Indirect Proof
          | 4. A         3, Double Negation
          | 5. B         2, Simplification
          | 6. A & B     4,5, Conjunction     
          | 7. C         1,6, Modus Ponens
          | 8. ~C & B    2, Commutation
          | 9. ~C        8, Simplification
          |10. C & ~C   7,9, Conjunction  
          
11. ~A     Lines 3-10 for Indirect Proof

Edwin

RELATED QUESTIONS

1. A v B 2. A ≡ (C & D) 3. B ⊃ (D & G)/D I know I need to use indirect proof... (answered by Edwin McCravy)
1. T ⊃ (Q & F) 2. T & C/Q v O I am trying to solve this equation using the... (answered by math_tutor2020)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)
1. A v B 2. A ≡ (C & D) 3. B ⊃ (D & G)/D I am trying to solve this equation. i... (answered by math_helper)
use the inference rules, replacement rules, indirect proof and/or conditional proof to... (answered by mccravyedwin,Edwin McCravy)
Can i please have help solving these proofs? Use an ordinary proof (not conditional or... (answered by jim_thompson5910)
Use the inference rules, replacement rules, indirect proof, or conditional proof to... (answered by Edwin McCravy)
INSTRUCTIONS: Use natural deduction to derive the conclusion in the following problems. (answered by AnlytcPhil)
INSTRUCTIONS: Use natural deduction to derive the conclusion in the following problems. (answered by jim_thompson5910)