SOLUTION: P∙ Q
R⊃ ~Q
/ ~R∨ ~P
Algebra.Com
Question 1104306: P∙ Q
R⊃ ~Q
/ ~R∨ ~P
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
I'm using the ampersand in place of the dot
Also, I'm using the arrow notation instead of a horsehoe
| Number | Statement | Lines Used | Reason |
|---|
| 1 | P & Q | | |
| 2 | R -> ~Q | | |
| :. | ~R v ~P | | |
| 3 | Q & P | 1 | Commutation |
| 4 | Q | 3 | Simplification |
| 5 | ~~Q | 4 | Double Negation |
| 6 | ~R | 2,5 | Modus Tollens |
| 7 | ~R v ~P | 6 | Addition |
RELATED QUESTIONS
∼A∙~B
~D⊃A
M⊃[(NvO)⊃P]
Q⊃(SvT)... (answered by jim_thompson5910)
Solve use reductio ad absurdum
1. ~P→(R∙S)
2.... (answered by math_helper)
∼S⊃(N⊃T)
~S∙(R⊃S)
(~M∙~N)⊃(~Ov~P)... (answered by solver91311)
1. ~M
2. (~M∙~N)>(Q>P)
3. ~N
4. P>R (answered by jim_thompson5910)
Could you please help me? Im sick with a bug and cant think straight :/
A)
1. A ⊃ (answered by solver91311)
1. (Q∨R)→(W∨U)
2. W→P
3. (answered by jim_thompson5910)
P ∙ (Q ⊃ R) ; (P ∙ Q) ⊃ (P ∙ R)
are logically equivalent... (answered by jim_thompson5910)
P->~(Q&R),Q->R:... (answered by lynnlo)
q+r/q+p (answered by Alan3354)