document.write( "Question 1118661: Trying to write the proof and am stuck.\r
\n" ); document.write( "\n" ); document.write( "1.H > J
\n" ); document.write( "2.~(J & H) / ~H \n" ); document.write( "

Algebra.Com's Answer #734087 by math_helper(2461) $\"\"$ $\"About$

You can put this solution on YOUR website!
Trying to write the proof and am stuck.\r
\n" ); document.write( "\n" ); document.write( "1.H > J
\n" ); document.write( "2.~(J & H) / ~H
\n" ); document.write( "==================================\r
\n" ); document.write( "\n" ); document.write( "

\r\n" );
document.write( "1. H—>J          Premise\r\n" );
document.write( "2. ~(J & H)      Premise\r\n" );
document.write( "3. ~J v ~H       2, DeMorgan's (DeM)\r\n" );
document.write( "4.:: ~J          Conditional proof (CP), assumption #1\r\n" );
document.write( "5.::  ~H         4,1  Modus Tollens (MT), end case #1\r\n" );
document.write( "6.::  ~H         Conditional proof, assumption #2, end case #2 (tautology ~H —> ~H)\r\n" );
document.write( "7.  (~J v ~H)   —> ~H    End CP, Proof by Cases (PBC)   (if  ~J or ~H  we can conclude ~H)\r\n" );
document.write( "8.  ~(J & H)  —> ~H      7, DeM\r\n" );
document.write( "9.  ~H                   2,8  Modus Ponens (MP)\r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "Other approaches may be possible. \r\n" );
document.write( "\r\n" );
document.write( "

\n" ); document.write( "

\n" );