document.write( "Question 1171793: 1. (J v F) v M
\n" ); document.write( "2. (J v M) ⊃ ~P
\n" ); document.write( "3. ~F/~(F v P)\r
\n" ); document.write( "\n" ); document.write( "I need help tryin to figure out what inference rules to use to solve this problem
\n" ); document.write( " \n" ); document.write( "

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

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

\r\n" );
document.write( "\r\n" );
document.write( "1.   (J v F) v M\r\n" );
document.write( "2.   (J v M) -> ~P\r\n" );
document.write( "3.   ~F               |    ~(F v P)\r\n" );
document.write( "\r\n" );
document.write( "4.   (F v J) v M      1.   Commutativity\r\n" );
document.write( "5.   F v (J v M)      4.   Associativity\r\n" );
document.write( "6.   J v M            3,5. Disjunctive Syllogism\r\n" );
document.write( "7.   ~P               2,6. Modus Ponens\r\n" );
document.write( "8.   ~F & ~P          3,7. Conjunction Introduction\r\n" );
document.write( "9.   ⸫ ~(F v P)       8.   DeMorgan\r\n" );
document.write( "

\r
\n" ); document.write( "\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" );