SOLUTION: 1) R
2) (~C v ~D) v S
3) ~(C & D) > ~R
Conclusion: S
Algebra.Com
Question 1112729: 1) R
2) (~C v ~D) v S
3) ~(C & D) > ~R
Conclusion: S
Answer by solver91311(24713) (Show Source): You can put this solution on YOUR website!
Assume ~S. Then from (2), you get ~C v ~D by Disjunctive Syllogism. Then you can write ~(C & D) from the previous statement using De Morgan. From this and (3) you get ~R by Modus Ponens. But, because R is given, that leads to R & ~R which is identically false. Since the assumption, ~S, led to a contradiction, ~S is false, therefore S.
John
My calculator said it, I believe it, that settles it
RELATED QUESTIONS
Premises:
1.) S->~(N v R)
2.) R v N v O
3.) ~O
Conclusion:... (answered by Edwin McCravy)
Stumped
C <-> T
~C -> (~S v ~R)
~C -> D
(~D v S) & (~D v R)
We have to show... (answered by Edwin McCravy)
Indirect proof
9.
1) R
2) (~ C v ~ D) v S
3) ~ (C ⋅ D) ⊃ ~R / ∴ S
(answered by solver91311)
How do I solve these proofs?
Number one
1.~B v[(C>D)&(E>D)]
2. B&(C v E)... (answered by jim_thompson5910)
1. (A v B) > ~C
2. C v D
3. A
Conclusion: D (answered by jim_thompson5910)
I have 3 questions on my exercise that really have me stumped.
Here are the directions... (answered by jim_thompson5910)
Please help with this logic proof:
1. S v B
2. B -> D
3. S -> G
conclusion D v... (answered by Theo)
Using Inference Rules
Premise 1. (P * Q) > R
Premise 2. (P * Q) V S
Premise 3. ~ R (answered by Edwin McCravy)
1. (F v S) > (V * G)
2. F * (C = D) / F *... (answered by jim_thompson5910)