SOLUTION: can i have help solving this proof please? Construct a regular proof to derive the conclusion of the following argument: 1. H v (~T > R) 2. Hv (E

Click here to see ALL problems on Proofs

Question 1010505: can i have help solving this proof please?
Construct a regular proof to derive the conclusion of the following argument:
1. H v (~T > R)
2. Hv (E > F)
3. ~T v E
4. ~H & D / R v F
Answer by jim_thompson5910(35256) (Show Source):
You can put this solution on YOUR website!

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

SOLUTION: can i have help solving this proof please? Construct a regular proof to derive the conclusion of the following argument: 1. H v (~T > R) 2. Hv (E > F) 3. ~T v E 4. ~H & D