document.write( "Question 297356: Could you please help me construct a proof for this problem?\r
\n" ); document.write( "\n" ); document.write( "1. (G -> H) -> J conclusion is H -> J
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #214155 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.  (G -> H) -> J           :.  H -> J\r\n" );
document.write( "--------------------------------------\r\n" );
document.write( "2.  (~G v H) -> J                     1    Material Implication\r\n" );
document.write( "3.  ~(~G v H) v J                     2    Material Implication\r\n" );
document.write( "4.  (~~G * ~H) v J                    3    De Morgan's Law\r\n" );
document.write( "5.  (G * ~H) v J                      4    Double Negation\r\n" );
document.write( "6.  J v (G * ~H)                      5    Commutation\r\n" );
document.write( "7.  (J v G) * (J v ~H)                6    Distribution\r\n" );
document.write( "8.  (J v ~H) * (J v G)                7    Commutation\r\n" );
document.write( "9.  J v ~H                            8    Simplification\r\n" );
document.write( "10. ~H v J                            9    Commutation\r\n" );
document.write( "11.  H -> J                           10   Material Implication\r\n" );
document.write( "
\n" ); document.write( "
\n" );