document.write( "Question 1157893: Use Indirect Proof to solve the following argument \r
\n" ); document.write( "\n" ); document.write( "(E v F) ⊃ (C • D)
\n" ); document.write( "(D v G) ⊃ H
\n" ); document.write( "E v G /H\r
\n" ); document.write( "\n" ); document.write( "Thank you!
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #780857 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "\r\n" );
document.write( " 1.  (E v F) ⊃ (C • D)\r\n" );
document.write( " 2.  (D v G) ⊃ H \r\n" );
document.write( " 3.  E v G               /H\r\n" );
document.write( "\r\n" );
document.write( "                  | 4. ~H          Assumption for Indirect Proof\r\n" );
document.write( "                  | 5. ~(D v G)    2,4, Modus Tollens\r\n" );
document.write( "                  | 6. ~D • ~G     5, DeMorgan's Law  \r\n" );
document.write( "                  | 7. ~D          6, Simplification\r\n" );
document.write( "                  | 8. ~D v ~C     7, Addition\r\n" );
document.write( "                  | 9. ~(D • C)    8, DeMorgan's Law\r\n" );
document.write( "                  |10. ~(C • D)    9, Commutation\r\n" );
document.write( "                  |11. ~(E v F)    1,10, Modus Tollens\r\n" );
document.write( "                  |12. ~E • ~F     11, DeMorgan's Law\r\n" );
document.write( "                  |13. ~E          12, Simplification\r\n" );
document.write( "                  |14. G           3,13 Disjunctive Syllogism\r\n" );
document.write( "                  |15. ~G • ~D     6, Commutation\r\n" );
document.write( "                  |16. ~G          15, Simplification\r\n" );
document.write( "                  |17. G • ~G      14,16, Conjunction\r\n" );
document.write( "18.  H                   Lines 4-17   Indirect Proof\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );