document.write( "Question 969536: Premises:
\n" ); document.write( "1.) V->H
\n" ); document.write( "2.) ~V->S
\n" ); document.write( "3.) ~H -> ~S
\n" ); document.write( "Conclusion:
\n" ); document.write( "/H \n" ); document.write( "

Algebra.Com's Answer #592429 by Edwin McCravy(20060) $\"\"$ $\"About$

You can put this solution on YOUR website!
Premises:
\n" ); document.write( "1.) V->H
\n" ); document.write( "2.) ~V->S
\n" ); document.write( "3.) ~H -> ~S
\n" ); document.write( "Conclusion:
\n" ); document.write( "/H
\n" ); document.write( "

\r\n" );
document.write( "4. ~~S->~~H       contrapositive, 3 \r\n" );
document.write( "5. S->H           double negation, 4\r\n" );
document.write( "6. ~V->H          hypothetical syllogism 2,5 \r\n" );
document.write( "7. ~H->~~V        contrapositive, 6  \r\n" );
document.write( "8. ~H->V          double negation, 7\r\n" );
document.write( "9. ~H->~V         contrapositive, 1\r\n" );
document.write( "10. V or ~V       tautology\r\n" );
document.write( "11. H or H        constructive dilemma, 1,6,10\r\n" );
document.write( "\r\n" );
document.write( "              Here's an explanation of step 11:\r\n" );
document.write( "                  constructive dilemma says: p->q,r->s,(p or r), / (q or s)\r\n" );
document.write( "                  we substitute p=V, q=H, r=~V, s=H      \r\n" );
document.write( "                                             V->H,~V->H,(V or ~V), / (H or H)\r\n" );
document.write( "                                                1,    6,       10, /   11\r\n" );
document.write( "12. H             simplification (or idempotent), 11\r\n" );
document.write( "\r\n" );
document.write( "Edwin

\n" ); document.write( "

\n" );