document.write( "Question 1033709: I have no idea what do with this one help please
\n" ); document.write( "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 / R v F \n" ); document.write( "
Algebra.Com's Answer #648420 by robertb(5830)\"\" \"About 
You can put this solution on YOUR website!
1. ~H & D -------------hypothesis
\n" ); document.write( "2. ~H -------------- simplification
\n" ); document.write( "3. H v (~T > R) --------hypothesis
\n" ); document.write( "4. ~T > R --------------disjunctive syllogism on #2 and #3
\n" ); document.write( "5. H v (E > F) ----------hypothesis
\n" ); document.write( "6. E > F ---------------disjunctive syllogism on #2 and #5
\n" ); document.write( "7. ~T v E ---------------hypothesis
\n" ); document.write( "8. T > E ---------------material implication
\n" ); document.write( "9. T > F ----------------hypothetical syllogism on #8 and #6
\n" ); document.write( "10. ~F > ~T ------------contrapositive of #9
\n" ); document.write( "11. ~F > R -------------hypothetical syllogism on #10 and # 4
\n" ); document.write( "12. ~~F v R --------------material implication
\n" ); document.write( "13. F v R ---------------double negation \n" ); document.write( "
\n" );