document.write( "Question 910335:
\n" ); document.write( "1. F ⊃ A
\n" ); document.write( "2. (~F v B)⊃ (A v D )
\n" ); document.write( "3. ~ A • ~ B / D\r
\n" ); document.write( "\n" ); document.write( "I can only use the first eight implications. Stuck please help! thank you
\n" ); document.write( "

Algebra.Com's Answer #552418 by solver91311(24713)\"\" \"About 
You can put this solution on YOUR website!
\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "1. F ⊃ A
\n" ); document.write( "2. (~F v B)⊃ (A v D )
\n" ); document.write( "3. ~ A • ~ B | D\r
\n" ); document.write( "\n" ); document.write( "4. ~ A from 3 by Simplification
\n" ); document.write( "5. ~ F from 4, 1 by Modus Tollens
\n" ); document.write( "6. ~ F v B from 5 by Addition
\n" ); document.write( "7. A v D from 6, 2 by Modus Ponens
\n" ); document.write( "8. D from 7, 4 by Disjunctive Syllogism\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( "
\n" ); document.write( "
\n" ); document.write( "
\n" );