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 770841: 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 solver91311(24713) About Me  (Show Source):
You can put this solution on YOUR website!


5. from 4 by Simplification

6. from 5 and 1 by Disjunctive Syllogism

7. from 5 and 2 by Disjunctive Syllogism

8. Assume , then from 3 by Disjunctive Syllogism

9. Then from 7 by Modus Ponens

10. Assume , then from 6 by Modus Ponens

11. Therefore from 8, 9, and 10 by Tertium non datur.

John

Egw to Beta kai to Sigma
My calculator said it, I believe it, that settles it
The Out Campaign: Scarlet Letter of Atheism