document.write( "Question 1207017: PLease use all 18 rules of natural deduction to derive the conclusion (/), thanks.\r
\n" ); document.write( "\n" ); document.write( "1. S ⊃ (L • M)
\n" ); document.write( "2. M ⊃ (L ⊃ R) / S ⊃ R \n" ); document.write( "

Algebra.Com's Answer #844815 by math_tutor2020(3817) $\"\"$ $\"About$

You can put this solution on YOUR website!

\n" ); document.write( "I'll use an arrow symbol in place of the horseshoe symbol.
\n" ); document.write( "Also, I'll use an ampersand in place of a dot.\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Here is one way to do the derivation.
\n" ); document.write( "\n" ); document.write( "\n" ); document.write( "

Number	Statement	Line(s) Used	Reason
1	S --> (L & M)
2	M --> (L --> R)
:.	S --> R
3	(M & L) --> R	2	Exportation
4	(L & M) --> R	3	Commutation
5	S --> R	1, 4	Hypothetical Syllogism

\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "The Rules of Inference and Rules of Replacement are shown here
\n" ); document.write( " \n" ); document.write( "

\n" );