document.write( "Question 1193809: F ⊃ (G ● H ) // (A ⊃ F ) ⊃ (A ⊃ H )\r
\n" ); document.write( "\n" ); document.write( "What is the proper Conditional Proof? \n" ); document.write( "
Algebra.Com's Answer #826031 by mccravyedwin(409)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "\r\n" );
document.write( "1.  F ⊃ (G ● H )       // (A ⊃ F ) ⊃ (A ⊃ H )\r\n" );
document.write( "\r\n" );
document.write( "                        |2. A ⊃ F      ACP\r\n" );
document.write( "                                      |3. A       ACP\r\n" );
document.write( "                                      |4. F       2, MP\r\n" );
document.write( "                                      |5. G ● H   1, MP\r\n" );
document.write( "                                      |6. H ● G   5, comm.\r\n" );
document.write( "                                      |7. H       6, simp.\r\n" );
document.write( "                        |8. A ⊃ H       CP     lines 3-7 \r\n" );
document.write( "\r\n" );
document.write( "9.  (A ⊃ F) ⊃ (A ⊃ H)  CP lines 2-8 \r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );