document.write( "Question 1157960: Use Conditional Proof to solve the following argument
\n" ); document.write( "E ⊃ (F ⊃ G)
\n" ); document.write( "H ⊃ (G ⊃ I)
\n" ); document.write( "(F ⊃ I) ⊃ (J v ~H) / (E•H) ⊃ J
\n" ); document.write( " \n" ); document.write( "

Algebra.Com's Answer #780896 by AnlytcPhil(1806) $\"\"$ $\"About$

You can put this solution on YOUR website!
Use Conditional Proof to solve the following argument
\n" ); document.write( "

\r\n" );
document.write( " 1.  E ⊃ (F ⊃ G)\r\n" );
document.write( " 2.  H ⊃ (G ⊃ I)\r\n" );
document.write( " 3.  (F ⊃ I) ⊃ (J v ~H)                 / (E • H) ⊃ J\r\n" );
document.write( "\r\n" );
document.write( "                            | 4.  E • H        Assumption for Conditional Proof   \r\n" );
document.write( "                            | 5.  E            4, Simplification\r\n" );
document.write( "                            | 6.  F ⊃ G        1,5, Modus Ponens\r\n" );
document.write( "                            | 7.  H • E        4, Commutation\r\n" );
document.write( "                            | 8.  H            6, Simplification\r\n" );
document.write( "                            | 9.  G ⊃ I        2,8, Modus Ponens\r\n" );
document.write( "                            |10.  F ⊃ I        6,9, Hypothetical Syllogism \r\n" );
document.write( "                            |11.  J v ~H       3,10, Modus Ponens\r\n" );
document.write( "                            |12.  ~H v J       11, Commutation\r\n" );
document.write( "                            |13.  ~~H          8, Double negation\r\n" );
document.write( "                            |14.  J            12, Disjunctive Syllogism\r\n" );
document.write( "15. (E • H) ⊃ J         Lines 4-14      Conditional Proof\r\n" );
document.write( "\r\n" );
document.write( "Edwin

\n" ); document.write( "

\n" );