document.write( "Question 979169: Construct a proof in Natural Deduction for the following argument. Show the proof. Do not use the Conditional Proof method. \r
\n" ); document.write( "\n" ); document.write( "1. (D -> K) & (J -> K)\r
\n" ); document.write( "\n" ); document.write( "2. D v (J & M)\r
\n" ); document.write( "\n" ); document.write( "3. (K -> ~A) / (A -> S) \n" ); document.write( "

Algebra.Com's Answer #600458 by jim_thompson5910(35256) $\"\"$ $\"About$

You can put this solution on YOUR website!
\n" ); document.write( "\n" ); document.write( "

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

\n" ); document.write( "

\n" );