SOLUTION: I have no idea what do with this one help please
INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following argument:
1. H v (~T > R)
2. Hv (E > F)
Algebra.Com
Question 1033709: I have no idea what do with this one help please
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 robertb(5830) (Show Source): You can put this solution on YOUR website!
1. ~H & D -------------hypothesis
2. ~H -------------- simplification
3. H v (~T > R) --------hypothesis
4. ~T > R --------------disjunctive syllogism on #2 and #3
5. H v (E > F) ----------hypothesis
6. E > F ---------------disjunctive syllogism on #2 and #5
7. ~T v E ---------------hypothesis
8. T > E ---------------material implication
9. T > F ----------------hypothetical syllogism on #8 and #6
10. ~F > ~T ------------contrapositive of #9
11. ~F > R -------------hypothetical syllogism on #10 and # 4
12. ~~F v R --------------material implication
13. F v R ---------------double negation
RELATED QUESTIONS
can i have help solving this proof please?
Construct a regular proof to derive 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)
Give a proof of the following argument:
1 (1) A --> (B & ~K) Premise
2 (2) (B (answered by jim_thompson5910)
INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following... (answered by solver91311)
INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following... (answered by Edwin McCravy)
Can i please have help solving these proofs?
Use an ordinary proof (not conditional or... (answered by jim_thompson5910)
Construct a regular proof to derive the conclusion of the following argument:
1. X >Y... (answered by math_helper)