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.Com
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) (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
RELATED QUESTIONS
INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following... (answered by Edwin McCravy)
can i have help solving this proof please?
Construct a regular proof to derive the... (answered by jim_thompson5910)
I have no idea what do with this one help please
INSTRUCTIONS: Construct a regular... (answered by robertb)
can i have help solving these proofs
a regular proof to derive the conclusion of the... (answered by jim_thompson5910)
INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following... (answered by Edwin McCravy)
INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following... (answered by Edwin McCravy)
INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following... (answered by jim_thompson5910)
Construct a regular proof to derive the conclusion of the following argument:
1. X >Y... (answered by Edwin McCravy)
Can i please have help solving these proofs?
Use an ordinary proof (not conditional or... (answered by jim_thompson5910)
