SOLUTION: INSTRUCTIONS: 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
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. R v F 6,7,3 constructive dilemma
Edwin