Use rules of inference to show that if x(P(x) Q(x)), x(Q(x) S(x)), x(R(x)S(x)), and xP(x)

Question:

Use rules of inference to show that if ∀x(P(x) ∨ Q(x)), ∀x(¬Q(x) ∨ S(x)), ∀x(R(x)→¬S(x)), and ∃x¬P(x) are true, then ∃x¬R(x) is true.
Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Related Book For  book-img-for-question
Question Posted: