document.write( "Question 1188628: B ⊃ ∼C
\n" ); document.write( "C ∨ [D ∨ (G • K)]
\n" ); document.write( "∼G ∨ ∼K
\n" ); document.write( "B ⊃ D
\n" ); document.write( "Create a method for the following argument using the conditional proof method. \n" ); document.write( "
Algebra.Com's Answer #819931 by mccravyedwin(407)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "You aren't supposed to put the conclusion at the bottom of a list of premises.\r\n" );
document.write( "You're supposed to put it to the right of the last premise after a forward\r\n" );
document.write( "slash. Also, you're supposed to number the premises:\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "1.  B ⊃ ∼C\r\n" );
document.write( "2.  C ∨ [D ∨ (G • K)]\r\n" );
document.write( "3.  ∼G ∨ ∼K              /B ⊃ D\r\n" );
document.write( "\r\n" );
document.write( "4.             |B            Assumption for conditional proof\r\n" );
document.write( "5.             |~C           1,4, Modus ponens\r\n" );
document.write( "6.             |D ∨ (G • K)  2,5, Disjunctive syllogism\r\n" );
document.write( "7.             |~(G • K)     3, DeMorgan's law\r\n" );
document.write( "8.             |(G • K) ∨ D  6, Commutation\r\n" );
document.write( "9.             |D            8,7, Disjunctive syllogism\r\n" );
document.write( "10. B ⊃ D       Lines 4-9    Conditional Proof       \r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );