document.write( "Question 1208734: Create a proof for the following argument.\r
\n" ); document.write( "\n" ); document.write( "1.~D
\n" ); document.write( "2.B ⊃ (C ⊃ D) /~(B • C) \n" ); document.write( "

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

You can put this solution on YOUR website!

\n" ); document.write( "Here is one way to do the derivation. There may be other approaches.
\n" ); document.write( "\n" ); document.write( "\n" ); document.write( "

Number	Statement	Line(s) Used	Reason
1	~D
2	B ⊃ (C ⊃ D)
:.	~(B • C)
3	(B • C) ⊃ D	2	Exportation
4	~(B • C)	3,1	Modus Tollens

\n" ); document.write( "Here's a list of rules of inference and replacement
\n" ); document.write( " \n" ); document.write( "

\n" );