Question 981871: 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)
Thanks!
"Basic Outline: Free up ~H. Then free up (~T > R) and (E > F). Conjunct them together, and use constructive dilemma."
Hi Jim, would you be able to show me the steps? I'm having some trouble with it, thanks!! :)
Answer by jim_thompson5910(35256)   (Show Source):
You can put this solution on YOUR website! ~H is freed up in line 5. Then this is used to free up (~T > R) and (E > F). After that, they are conjuncted to get (~T > R) & (E > F). After which you use constructive dilemma.
| Number | Statement | Lines Used | Reason |
|---|
| 1 | H v (~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 | Disjunctive Syllogism | | 7 | E > F | 2,5 | Disjunctive Syllogism | | 8 | (~T > R) & (E > F) | 6,7 | Conjunction | | 9 | R v F | 8,3 | Constructive Dilemma |
|
|
|
