document.write( "Question 1101171: Construct proofs to show that the following arguments are valid.
\n" ); document.write( "1.(AvG)>K
\n" ); document.write( "2.K>(B>F)
\n" ); document.write( "3.A.B ... (Conclusion is triple dot) F\r
\n" ); document.write( "\n" ); document.write( "So far I've got
\n" ); document.write( "4. (AvG)>(B>F) 1,2 Hypothetical syllogism
\n" ); document.write( "5. B 3, Simplification
\n" ); document.write( "6. A 3, Simplification\r
\n" ); document.write( "\n" ); document.write( "I have to prove how F is the conclusion. \n" ); document.write( "
Algebra.Com's Answer #715729 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. (AvG)>K\r\n" );
document.write( "2. K>(B>F)\r\n" );
document.write( "3. A●B  ... (Conclusion is triple dot) F\r\n" );
document.write( "\r\n" );
document.write( "So far I've got\r\n" );
document.write( "4. (AvG)>(B>F)  1,2 Hypothetical syllogism\r\n" );
document.write( "5. B     3, Simplification\r\n" );
document.write( "6. A     3, Simplification\r\n" );
document.write( "\r\n" );
document.write( "Here's the rest:\r\n" );
document.write( "\r\n" );
document.write( "7. AvG   6, Addition\r\n" );
document.write( "8. K     1,7 Modus Ponens\r\n" );
document.write( "9. B>F   2,8 Modus Ponens\r\n" );
document.write( "10. F    9,5 Modus Ponens  \r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );