document.write( "Question 1005369: I need to prove the following:\r
\n" ); document.write( "\n" ); document.write( "M->(K->L)
\n" ); document.write( "(LvN)->J
\n" ); document.write( "/M->(K->J) \n" ); document.write( "

Algebra.Com's Answer #621702 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		M -> (K -> L)
2		(L v N) -> J
:.		M -> (K -> J)
\|	3	M*K		ACP
\|	4	(M*K) -> L	1	Exp
\|	5	L	4,3	MP
\|	6	L v N	5	Add
\|	7	J	2,6	MP
8		(M * K) -> J	3-7	CP
9		M -> (K -> J)	8	Exp

\r
\n" ); document.write( "\n" ); document.write( "Abbreviations/Acronyms Used\r
\n" ); document.write( "\n" ); document.write( "ACP = Assumption for Conditional Proof
\n" ); document.write( "Add = Addition
\n" ); document.write( "CP = Conditional Proof
\n" ); document.write( "Exp = Exportation
\n" ); document.write( "MP = Modus Ponens \n" ); document.write( "

\n" );