Question 922639
<pre>
1)  ~H -> (~T -> R)
2)  H v (E -> F)
3)  ~T v E
4)  ~ H * D 
/   R v F
-------------------------------------------------------
5)  ~H                          4      Simplification 
6)  ~T -> R                     1,5    Modus Ponens
7)  E -> F                      2,5    Disjunctive Syllogism
8)  (~T -> R) * (E -> F)        6,7    Conjunction
9)  R v F                       8,3    Constructive Dilemma 
</pre>


------------------------------------------------------------------------


Let me know if that helps or not. Thanks.


If you need more help, feel free to email me at <a href="mailto:jim_thompson5910@hotmail.com?Subject=I%20Need%20Algebra%20Help">jim_thompson5910@hotmail.com</a>


My Website: <a href="http://www.freewebs.com/jimthompson5910/home.html">http://www.freewebs.com/jimthompson5910/home.html</a>