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)

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) (Show Source): You can put this solution on YOUR website!

Number	Statement	Lines Used	Reason
1.	(D -> K) & (J -> K)
2.	D v (J & M)
3.	K -> ~A
:.	A -> S
4.	(D v J) & (D v M)	2	Distribution
5.	D v J	4	Simplification
6.	K v K	1,5	Constructive Dilemma
7.	K	6	Tautology
8.	~A	3,7	Modus Ponens
9.	~A v S	8	Addition
10.	~~A -> S	9	Material Implication
11.	A -> S	10	Double Negation

RELATED QUESTIONS
Prove the following argument to be valid using the method of Natural Deduction. (Do... (answered by Edwin McCravy)

Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)

Construct a formal proof of validity for the following arguments by means of Natural... (answered by mccravyedwin)

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)

Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)

Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by solver91311)

Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by jim_thompson5910)

Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)