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

Question:

Use rules of inference to show that if ∀x(P(x) → (Q(x) ∧ S(x))) and ∀x(P(x) ∧ R(x)) are true, hen ∀x(R(x) ∧ S(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: