document.write( "Question 1006156: H => J
\n" ); document.write( "-------
\n" ); document.write( ":. ~J => ~H\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "I know to use the box and that there will be a box inside the first box which will include the negation in rule. I'm just not quite sure how they all go together. \n" ); document.write( "

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

You can put this solution on YOUR website!
I'm not sure what you mean by \"box\"\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Here is how I'd do the proof\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "\n" ); document.write( "\n" ); document.write( "

Number	Statement	Lines Used	Reason
1	H => J
:.	~J => ~H
2	~H v J	1	Material Implication
3	J v ~H	2	Commutation
4	~~J v ~H	3	Double Negation
5	~J => ~H	4	Material Implication

\n" ); document.write( "

\n" );