document.write( "Question 1207644: Given the argument:
\n" ); document.write( "1. G⊃(H⊃K)
\n" ); document.write( "2.(H∨∼M)⊃∼K
\n" ); document.write( "3. H /∼G
\n" ); document.write( "Identify the rules of replacement/inference used to derive the proposition: (G • H) ⊃ ~K? \n" ); document.write( "
Algebra.Com's Answer #845632 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "\r\n" );
document.write( "Given the argument:\r\n" );
document.write( "1. G ⊃ (H ⊃ K)\r\n" );
document.write( "2.(H ∨ ∼M) ⊃ ∼K\r\n" );
document.write( "3. H        / ∼G\r\n" );
document.write( "\r\n" );
document.write( "4. H ∨ ∼M          3, Addition  \r\n" );
document.write( "5. ~K               2, Modus ponens\r\n" );
document.write( "6. (G • H) ⊃ K     1, importation\r\n" );
document.write( "7. ~(G • H)       6,5  Modus ponens   \r\n" );
document.write( "8. ~G ∨ ~H          7, DeMorgan's\r\n" );
document.write( "9. ~~H              3, Double negation\r\n" );
document.write( "10. ~G            8,9, Disjunctive syllogism              \r\n" );
document.write( "\r\n" );
document.write( "-----------------------------------------------\r\n" );
document.write( "\r\n" );
document.write( "Identify the rules of replacement/inference used to derive the proposition: \r\n" );
document.write( "(G • H) ⊃ ~K? \r\n" );
document.write( "\r\n" );
document.write( "Sorry, that's not true in the above case as you see by step 6. \r\n" );
document.write( "\r\n" );
document.write( "Edwin

\n" ); document.write( " \n" ); document.write( "
\n" );