SOLUTION: 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! "Basi

Algebra.Com
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.

NumberStatementLines UsedReason
1H v (~T > R)
2H v (E > F)
3~T v E
4~H & D
:.R v F
5~H4Simplification
6~T > R1,5Disjunctive Syllogism
7E > F2,5Disjunctive Syllogism
8(~T > R) & (E > F)6,7Conjunction
9R v F8,3Constructive Dilemma
RELATED QUESTIONS

How do I finish this proof? 1. H v (~T > R) 2. H v (E > F) 3. ~T v E 4. ~H (answered by jim_thompson5910)
INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following... (answered by solver91311)
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 Edwin McCravy)
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)
How do I solve these proofs? Number one 1.~B v[(C>D)&(E>D)] 2. B&(C v E)... (answered by jim_thompson5910)
P l e a s e h e l p m e s o l v e t h i s f i n d t h e c a p a c i t y i n l i... (answered by rothauserc)
I have no idea what do with this one help please INSTRUCTIONS: Construct a regular... (answered by robertb)