SOLUTION: How do you work through this problem? Use indirect proof: 1. ∼A ⊃ (B • C) 2. D ⊃ ∼C / D ⊃ A

Question 1157554: How do you work through this problem?
Use indirect proof:
1. ∼A ⊃ (B • C)
2. D ⊃ ∼C / D ⊃ A

Answer by Edwin McCravy(20055) (Show Source): You can put this solution on YOUR website!


1.	∼A ⊃ (B • C)	 
2.	D ⊃ ∼C	        / D ⊃ A

           | 3.  ~(D ⊃ A)      Assumption for Indirect Proof
           | 4.  ~(~D v A)     3, Material Implication
           | 5.  ~~D • ~A      4, DeMorgan's Law
           | 6.  D • ~A        5, Double Negation
           | 7.  D             6, Simplification
           | 8.  ~A • D        6, Commutation 
           | 9.  ~A            8, Simplification
           |10. ~C             2,7, Modus Ponens 
           |11. ~C v ~B        10, Addition
           |12. ~(C • B)       11, DeMorgan's Law
           |13. ~(B • C)       12, Commutation
           |12. ~~A            2,13, Transposition
           |13. A              12, Double Negation
           |14. A • ~A         13,9, Conjunction
15. D ⊃ A         Lines 3-14   Indirect Proof

Edwin

RELATED QUESTIONS
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)

how do you complete this proof? A v (B � C) 2. ~ A � D ∴ B (answered by jim_thompson5910)

Using an indirect proof to solve this problem: 1. B ⊃ (C ⊃~B) 2. A... (answered by jim_thompson5910)

Use Indirect proof to solve the following: B ≡ (A • D) ~A ⊃ (~B ⊃ C) / A ∨... (answered by Edwin McCravy)

How do you solve this proof? A . B (A v C) -> D / A .... (answered by )

Use indirect proof: 1. (P ∨ F) ⊃ (A ∨ D) 2. A ⊃ (M • ∼P) 3. D ⊃ (C (answered by Edwin McCravy)

Prove directly, no Conditional Proof or Indirect Proof 1. M ⊃ ~ C 2. ~C ⊃ ~ A (answered by math_tutor2020)

Prove the following using indirect proof: 1. (A ∨ B) ⊃ C 2. (∼A ∨ D) ⊃ E (answered by math_tutor2020)