SOLUTION: use the inference rules, replacement rules, indirect proof and/or conditional proof to derive the conclusion. 1. T ⊃ (Q & F) 2. T & C/Q v O

Algebra.Com
Question 1171800: use the inference rules, replacement rules, indirect proof and/or conditional proof to derive the conclusion.
1. T ⊃ (Q & F)
2. T & C/Q v O
Found 2 solutions by mccravyedwin, Edwin McCravy:
Answer by mccravyedwin(407)   (Show Source): You can put this solution on YOUR website!

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

You keep posting these problems in logic, the very easiest ones, like this one.
Are you really not understanding any of it?

Edwin


Answer by Edwin McCravy(20055)   (Show Source): You can put this solution on YOUR website!

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

You keep posting these problems in logic, the very easiest ones, like this one.
Are you really not understanding any of it?

Edwin


RELATED QUESTIONS

use the inference rules, replacement rules, indirect proof and/or conditional proof to... (answered by Edwin McCravy)
1. T ⊃ (Q & F) 2. T & C/Q v O I am trying to solve this equation using the... (answered by math_tutor2020)
Premise: 1. F Conclusion: (G ⊃ H) ∨ (~G ⊃ J) Use either indirect proof or... (answered by Edwin McCravy,mccravyedwin)
Use the inference rules, replacement rules, indirect proof, or conditional proof to... (answered by Edwin McCravy)
Premise: 1. (K ∨ L) ⊃ (M • N) 2. (N ∨ O) ⊃ (P • ~K) Conclusion: ~K Use (answered by math_tutor2020)
Use Indirect Proof and the 8 Rules of Implication and the 10 Rules of Replacement of... (answered by Edwin McCravy)
Use the quantifier negation rule together with the eighteen rules of inference to derive... (answered by textot)
Use the eighteen rules of inference to derive the conclusion of the following symbolized... (answered by textot)
Use the quantifier negation rule together with the eighteen rules of inference to derive... (answered by CPhill)