SOLUTION: 1. T ⊃ (Q & F)
2. T & C/Q v O
I am trying to solve this equation using the inference rules and replacement rules.
I don't think an indirect proof is needed to derive the
Algebra.Com
Question 1171852: 1. T ⊃ (Q & F)
2. T & C/Q v O
I am trying to solve this equation using the inference rules and replacement rules.
I don't think an indirect proof is needed to derive the conclusion
Answer by math_tutor2020(3816) (Show Source): You can put this solution on YOUR website!
I'm going to use an arrow instead of a horsehoe symbol.
| Number | Statement | Lines Used | Reason |
| 1 | T -> (Q & F) | | |
| 2 | T & C | | |
| :. | Q v O | | |
| 3 | T | 2 | Simplification |
| 4 | Q & F | 1,3 | Modus Ponens |
| 5 | Q | 4 | Simplification |
| 6 | Q v O | 5 | Addition |
RELATED QUESTIONS
use the inference rules, replacement rules, indirect proof and/or conditional proof to... (answered by mccravyedwin,Edwin McCravy)
Solve the problem using rules of inference and replacement:
Premise 1) Q v (R . S)... (answered by solver91311)
I can only use the rules of inference/replacement
1) R v ~T
2) ~T -> O
3) ~O... (answered by jim_thompson5910)
Can you please assist me with these problems? We are using the Rules of Inference and the (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)
1. I v (N&F)
2. I > F /F
using rules of inference & replacement
(answered by Solver92311)
Use the inference rules, replacement rules, indirect proof, or conditional proof to... (answered by Edwin McCravy)
Construct proofs using the Rules of Inference and the Rules of Replacement. The... (answered by jim_thompson5910)
Complete the following proof, choosing from among the first eighteen Rules of Inference... (answered by Edwin McCravy)