document.write( "Question 1139912: Create a proof for the following argument
\n" ); document.write( "1. ∼(F • J) ⊃ (∼J ⊃ K)
\n" ); document.write( "2. ∼(F • J)
\n" ); document.write( "3. ∼K /∼∼J
\n" ); document.write( "4. \n" ); document.write( "

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

You can put this solution on YOUR website!

Create a proof for the following argument\r\n" );
document.write( "\r\n" );
document.write( "1. ∼(F • J) ⊃ (∼J ⊃ K)\r\n" );
document.write( "2. ∼(F • J)\r\n" );
document.write( "3. ∼K              /∼∼J\r\n" );
document.write( "\r\n" );
document.write( "4. ∼J ⊃ K          1,2, modus ponens\r\n" );
document.write( "5. ∼∼JJ ∨ K           4,  material implication\r\n" );
document.write( "6. K ∨ ∼∼J           5,  commutation\r\n" );
document.write( "7. ∼∼J              6,3, disjunctive syllogism\r\n" );
document.write( "\r\n" );
document.write( "Edwin

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

\n" );