SOLUTION: (O->R) -> S
(P->R) ~S
Therefore, ~R
Algebra.Com
Question 1177233: (O->R) -> S
(P->R) ~S
Therefore, ~R
Answer by Solver92311(821) (Show Source): You can put this solution on YOUR website!
What does (P → R) ~S mean? Is it two separate givens? Or did you leave out an operator? Please proofread your posts; it is rather rude of you to make us guess what you mean.
John
My calculator said it, I believe it, that settles it
From
I > Ø
RELATED QUESTIONS
(PvQ)&R
(R&P)>S
(Q&R)>S
Therefore,... (answered by solver91311,Edwin McCravy,robertb)
1. (O ⊃ R) ⊃ S
2. (P ⊃ R) ⊃ ~S / ~R
(answered by RBryant)
~R>P... (answered by Edwin McCravy)
How do I solve these proofs?
Number one
1.~B v[(C>D)&(E>D)]
2. B&(C v E)... (answered by jim_thompson5910)
Prove the argument:
1. p -> q
2. r \/ s
3. ~s -> ~t
4. ~q \/ s
5. ~s
6. (~p... (answered by Edwin McCravy)
R & (R->S), P & (P->T) |- S &... (answered by Edwin McCravy)
I need help completing this proof for my deductive logic class?
1. (O . P)--> Q
2. (answered by jim_thompson5910)
Premises:
1.) S->~(N v R)
2.) R v N v O
3.) ~O
Conclusion:... (answered by Edwin McCravy)
p/q+q/r /... (answered by mangopeeler07)