document.write( "Question 996079: Replacement Rules to solve the following proof:\r
\n" ); document.write( "\n" ); document.write( "(拾∨ 斫)→ M,K ∧ 映∴ B
\n" ); document.write( " \n" ); document.write( "

Algebra.Com's Answer #614663 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	(~B v ~H) --> M
2	K & ~M
:.	B
3	~M & K	2	Comm
4	~M	3	Simp
5	~(~B v ~H)	1,4	MT
6	~~B & ~~H	5	DM
7	B & H	6	DN
8	B	7	Simp

\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Abbreviations/Acronyms Used:\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Comm = Commutation
\n" ); document.write( "DM = De Morgan's Law
\n" ); document.write( "DN = Double Negation
\n" ); document.write( "MT = Modus Tollens
\n" ); document.write( "Simp = Simplification
\n" ); document.write( " \n" ); document.write( "

\n" );