document.write( "Question 885090: F>(~A.I)
\n" ); document.write( "Av(~J.F)
\n" ); document.write( "F
\n" ); document.write( "/~J \n" ); document.write( "
Algebra.Com's Answer #534909 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.  F -> (~A * I)\r\n" );
document.write( "2.  A v (~J * F)\r\n" );
document.write( "3.  F\r\n" );
document.write( "/   ~J\r\n" );
document.write( "-------------------------------------------------------\r\n" );
document.write( "4.  ~A * I                          1,3     Modus Ponens\r\n" );
document.write( "5.  ~A                              4       Simplification\r\n" );
document.write( "6.  ~J * F                          2,5     Disjunctive Syllogism\r\n" );
document.write( "7.  ~J                              6       Simplification\r\n" );
document.write( "
\n" ); document.write( "
\n" );