Rules of Inference

Rules of Inference in Artificial Intelligence (AI)

Use the rules of inference to show that if∀x(P(x) ∨ Q(x)) and ∀x((¬P(x) ∧ Q(x)) →R(x))are true, then∀x(¬R(x) → P(x))is also true, where the domains of all quantifiers are the same.