SOLUTION: How do I finish this proof? 1. H v (~T > R) 2. H v (E > F) 3. ~T v E 4. ~H & D / R v F 5. ~H Line 4 Conjunction 6. (~T v R) Lines 1 and

Algebra ->  Proofs -> SOLUTION: How do I finish this proof? 1. H v (~T > R) 2. H v (E > F) 3. ~T v E 4. ~H & D / R v F 5. ~H Line 4 Conjunction 6. (~T v R) Lines 1 and      Log On


   

Question 981866: How do I finish this proof?
1. H v (~T > R)
2. H v (E > F)
3. ~T v E
4. ~H & D / R v F



5. ~H Line 4 Conjunction
6. (~T v R) Lines 1 and 5 by Disjunctive Syllogism)
7. (E > F) Lines 2 and 6 by Disjunctive Syllogism)
Thanks!
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
Basic Outline: Free up ~H. Then free up (~T > R) and (E > F). Conjunct them together, and use constructive dilemma.