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

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) (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.
RELATED QUESTIONS
1. H v (~T > R) 2. H v (E > F) 3. ~T v E 4. ~H & D / R v F 5. ~H Line 4 (answered by jim_thompson5910)

can i have help solving this proof please? Construct a regular proof to derive the... (answered by jim_thompson5910)

INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following... (answered by solver91311)

INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following... (answered by Edwin McCravy)

I have no idea what do with this one help please INSTRUCTIONS: Construct a regular... (answered by robertb)

How do I solve these proofs? Number one 1.~B v[(C>D)&(E>D)] 2. B&(C v E)... (answered by jim_thompson5910)

1. (W . (R v T ) ) > P 2. ( P v L ) > ~ H 3. W 4. R :. ~... (answered by jim_thompson5910)

Prove this with steps please 1 [(A v ~B) v T]->(X->M) 2 (A v R)->(Z->O) 3 A&(X v Z) (answered by Edwin McCravy)

can i have help solving these proofs a regular proof to derive the conclusion of the... (answered by jim_thompson5910)