document.write( "Question 1143397: Hello,\r
\n" ); document.write( "\n" ); document.write( "Can you help me with the following Logic Proof?\r
\n" ); document.write( "\n" ); document.write( "1. ∼F ⊃ [∼G ⊃ (∼F ⊃ ∼L)]\r
\n" ); document.write( "\n" ); document.write( " 2. G ∨ ∼F\r
\n" ); document.write( "\n" ); document.write( " 3. ∼G \r
\n" ); document.write( "\n" ); document.write( "/~L\r
\n" ); document.write( "\n" ); document.write( "Thank You
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #764204 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. ∼F ⊃ [∼G ⊃ (∼F ⊃ ∼L)] \r\n" );
document.write( "2. G ∨ ∼F \r\n" );
document.write( "3. ∼G                   /~L \r\n" );
document.write( "\r\n" );
document.write( "4. ~F                      2,3, Disjunctive Syllogism\r\n" );
document.write( "5. ∼G ⊃ (∼F ⊃ ∼L)         1,4, Modus Ponens\r\n" );
document.write( "6. (~G • ~F) ⊃ ~L            5, Exportation\r\n" );
document.write( "7. ~G • ~F                  3,4, Conjunction \r\n" );
document.write( "8. ~L                       6,7, Modus Ponens\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );