SOLUTION: Natural Deduction How do I solve the proof: 1. (Av~B)⊃((A•C)⊃B) 2. ~B /A⊃~C

Algebra.Com
Question 1028652: Natural Deduction
How do I solve the proof:
1. (Av~B)⊃((A•C)⊃B)
2. ~B /A⊃~C
Answer by Edwin McCravy(20054)   (Show Source): You can put this solution on YOUR website!

1. (Av~B)⊃[(A+C)⊃B]
2. ~B              /  A⊃~C

3. [(Av~B)•(A&C)]⊃B          1, Importation
4. ~[(Av~B)•(A•C)]           3,2 Modus Tollens
5. ~(Av~B)v~(A•C)            4, DeMorgan's law
6. ~BvA                      2, Addition
7. Av~B                      6, Commutation
8. ~~(Av~B)                  7, Double negation
9. ~(A•C)                    5,8, Disjunctive syllogism
10. ~Av~C                    9, DeMorgan's law
11. A⊃~C                     10, Material implication

Edwin
RELATED QUESTIONS

Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)
Using an indirect proof to solve this problem: 1. B ⊃ (C ⊃~B) 2. A... (answered by jim_thompson5910)
Premises: 1. A ⊃ X 2. X ⊃ (B... (answered by math_helper)
Premise 1: D⊃ [D⊃ (B & ~Q)] Premise 2: (~Q & B)⊃ C Conclusion:... (answered by jim_thompson5910)
Please complete the following natural deduction proof. 1. A ⊃ U / A ⊃ (K (answered by robertb)
Please help me solve this proof! Premises: 1. (A⊃B)&(C⊃D) 2.... (answered by Edwin McCravy)
Please help! A ⊃ B A ⊃ (B ⊃ C) B ⊃ (C ⊃ D) ∴ A... (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)