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
Algebra ->
Proofs
-> 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
Log On
Question 1010735: 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 Answer by Edwin McCravy(20054) (Show Source):
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
