document.write( "Question 1032774: 1. (I&E) ⊃ ~F 2. F∨(G & H) 3. I≡E/ I⊃G \n" ); document.write( "
Algebra.Com's Answer #647417 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "(1). (I&E) > ~ F\r\n" );
document.write( "(2). F v (G&H)\r\n" );
document.write( "(3). I = E      / (conclusion) I > G \r\n" );
document.write( "\r\n" );
document.write( "(4).         | I             Assumption for Conditional Proof\r\n" );
document.write( "(5).         | (I>E)&(E>I)   (3),Material Equivalence\r\n" );
document.write( "(6).         | I>E           (5),Simplification\r\n" );
document.write( "(7).         | E             (6),(4),Modus Ponens\r\n" );
document.write( "(8).         | I&E           (4),(7),Conjunction\r\n" );
document.write( "(9).         | ~F            (1),(8),Modus Ponens\r\n" );
document.write( "(10).        | G&H           (2),(9),Disjunctive Syllogism\r\n" );
document.write( "(11).        | G             (10),Simplification\r\n" );
document.write( "             ---------------------------------------\r\n" );
document.write( "(12). I > G   Conditional Proof (4)-(11)\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );