SOLUTION: Construct a proof in Natural Deduction for the following argument. Show the proof. Do not use the Conditional Proof method. 1. (D -> K) & (J -> K) 2. D v (J & M)

Algebra ->  Proofs -> SOLUTION: Construct a proof in Natural Deduction for the following argument. Show the proof. Do not use the Conditional Proof method. 1. (D -> K) & (J -> K) 2. D v (J & M)      Log On


   

Question 979169: Construct a proof in Natural Deduction for the following argument. Show the proof. Do not use the Conditional Proof method.
1. (D -> K) & (J -> K)
2. D v (J & M)
3. (K -> ~A) / (A -> S)
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
NumberStatementLines UsedReason
1.(D -> K) & (J -> K)
2.D v (J & M)
3.K -> ~A
:.A -> S
4.(D v J) & (D v M)2Distribution
5.D v J4Simplification
6.K v K1,5Constructive Dilemma
7.K6Tautology
8.~A3,7Modus Ponens
9.~A v S8Addition
10.~~A -> S9Material Implication
11.A -> S10Double Negation