document.write( "Question 1010735: INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following argument:
\n" ); document.write( "1. H v (~T > R)
\n" ); document.write( "2. Hv (E > F)
\n" ); document.write( "3. ~T v E
\n" ); document.write( "4. ~H & D
\n" ); document.write( "/ R v F \n" ); document.write( "
Algebra.Com's Answer #626434 by Edwin McCravy(20054)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( " 1. H v (~T > R) \r\n" );
document.write( " 2. H v (E > F) \r\n" );
document.write( " 3. ~T v E \r\n" );
document.write( " 4. ~H & D \r\n" );
document.write( " / R v F \r\n" );
document.write( "\r\n" );
document.write( " 5. ~H         4, simplification\r\n" );
document.write( " 6. ~T > R     1,5 disjunctive syllogism\r\n" );
document.write( " 7. E > F      2,5 disjunctive syllogism\r\n" );
document.write( " 8. R v F      6,7,3 constructive dilemma\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );