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(409)   (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(20064)  (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
|
|
|
