SOLUTION: can i have help solving this proof please?
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
Algebra.Com
Question 1010505: can i have help solving this proof please?
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 jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
| Number | Statement | Lines Used | Reason |
|---|
| 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 | (~T -> R) & (E -> F) | 6,7 | Conjunction |
| 9 | R v F | 8,3 | Constructive Dilemma |
RELATED QUESTIONS
Can i please have help solving these proofs?
Use an ordinary proof (not conditional or... (answered by jim_thompson5910)
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)
I have no idea what do with this one help please
INSTRUCTIONS: Construct a regular... (answered by robertb)
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)
Construct a regular proof to derive the conclusion of the following argument:
1. X >Y... (answered by math_helper)
INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following... (answered by solver91311)