SOLUTION: INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following argument:
1. N > R
2. O <> R
3. (O > R) > L
/ (N > O) & L
Algebra.Com
Question 1010734: INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following argument:
1. N > R
2. O <> R
3. (O > R) > L
/ (N > O) & L
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
| Number | Statement | Lines Used | Reason |
|---|
| 1 | N -> R | | |
| 2 | O <--> R | | |
| 3 | (O -> R) -> L | | |
| :. | (N -> O) & L | | |
| 4 | (O -> R) & (R -> O) | 2 | Material Equivalence |
| 5 | (R -> O) & (O -> R) | 4 | Commutation |
| 6 | R -> O | 5 | Simplification |
| 7 | N -> O | 1,6 | Hypothetical Syllogism |
| 8 | O -> R | 4 | Simplification |
| 9 | L | 3,8 | Modus Ponens |
| 10 | (N -> O) & L | 7,9 | Conjunction |
RELATED QUESTIONS
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 solver91311)
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)
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)
Can i please have help solving these proofs?
Use an ordinary proof (not conditional or... (answered by jim_thompson5910)
Use the inference rules to derive the conclusion
1. T ⊃ O
2. R v ~O
3. ~R/~T
(answered by Plocharczyk,Edwin McCravy)