document.write( "Question 1188710: 1. I v (N&F)
\n" ); document.write( "2. I > F /F\r
\n" ); document.write( "
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "using rules of inference & replacement
\n" ); document.write( " \n" ); document.write( "

Algebra.Com's Answer #819889 by Solver92311(821) $\"\"$ $\"About$

You can put this solution on YOUR website!
\r
\n" ); document.write( "\n" ); document.write( "

\r\n" );
document.write( "1. I V (N & F)\r\n" );
document.write( "2. I → F         |    F\r\n" );
document.write( "\r\n" );
document.write( "3. Assume I.  \r\n" );
document.write( "   4. F          2,   Modus Ponens\r\n" );
document.write( "\r\n" );
document.write( "5. Assume ~I.\r\n" );
document.write( "   6. N & F      1,   Disjunctive Syllogism\r\n" );
document.write( "   7. F          6,   Conjunction Elimination\r\n" );
document.write( "\r\n" );
document.write( "8. ⸫ F           3, 5 Excluded Middle \r\n" );
document.write( "\r\n" );
document.write( "

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

\n" ); document.write( "My calculator said it, I believe it, that settles it
\n" ); document.write( "

\r
\n" ); document.write( "\n" ); document.write( "From
\n" ); document.write( "I > Ø
\n" ); document.write( "

\n" ); document.write( "

\n" );