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 ->  Proofs -> 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      Log On


   

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) About Me  (Show Source):
You can put this solution on YOUR website!

I'm going to use an arrow instead of a horsehoe symbol.
NumberStatementLines UsedReason
1T -> (Q & F)
2T & C
:.Q v O
3T2Simplification
4Q & F1,3Modus Ponens
5Q4Simplification
6Q v O5Addition