document.write( "Question 1199146: 1. G⊃(H⊃K)
\n" ); document.write( "2. (H∨∼M)⊃∼K
\n" ); document.write( "3. H / ∼G \n" ); document.write( "

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

You can put this solution on YOUR website!


\n" );
document.write( "Using -> instead of ⊃\r
\n" );
document.write( "\n" );
document.write( "1. G->(H->K)       Premise
\n" );
document.write( "2. (Hv~M)-> ~K     Premise
\n" );
document.write( "3. H               Premise
\n" );
document.write( "// show ~G
\n" );
document.write( "4. Hv~M            3, Addition (ADD)
\n" );
document.write( "5. ~K              4,2 Modus Ponens (MP)
\n" );
document.write( "6. H & ~K          3,5 Conjunction (CONJ)
\n" );
document.write( "7. ~(~H v K)       6 DeMorgan's  (DeM)
\n" );
document.write( "8. ~(H->K)         7 Material Implication (MI)
\n" );
document.write( "9. ~G              8,1 Modus Tollens (MT)
\n" );
document.write( "** done ** \n" );
document.write( "

\n" );