document.write( "Question 1157892: II. Use Conditional Proof to solve the following arguments \r
\n" ); document.write( "\n" ); document.write( "J ⊃ (K ⊃ L)
\n" ); document.write( "J ⊃ (M ⊃ L)
\n" ); document.write( "~L / J ⊃ ~(K v M)\r
\n" ); document.write( "\n" ); document.write( "Thank you!
\n" ); document.write( " \n" ); document.write( "

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

You can put this solution on YOUR website!
II. Use Conditional Proof to solve the following arguments
\n" ); document.write( "

\r\n" );
document.write( "\r\n" );
document.write( " 1.  J ⊃ (K ⊃ L)\r\n" );
document.write( " 2.  J ⊃ (M ⊃ L)\r\n" );
document.write( " 3.  ~L                / J ⊃ ~(K v M)\r\n" );
document.write( "                  | 4.  J        Assumption for Conditional Proof\r\n" );
document.write( "                  | 5.  K ⊃ L    1,4, Modus Ponens\r\n" );
document.write( "                  | 6.  ~K       5,3, Modus Tollens\r\n" );
document.write( "                  | 7.  M ⊃ L    2,4, Modus Ponens\r\n" );
document.write( "                  | 8.  ~M       7,3, Modus Tollens\r\n" );
document.write( "                  | 9. ~K ● ~M   6,8, Conjunction \r\n" );
document.write( "                  |10. ~(K v M)  9, DeMorgan's Law\r\n" );
document.write( "11. J ⊃ ~(K v M)       Lines 4-10     Conditional Proof\r\n" );
document.write( "\r\n" );
document.write( "Edwin

\n" ); document.write( "

\n" );