Which of the following is a valid inference of $\mathrm{X, Y}$ in first-order logic? $$ \begin{aligned} & \text{X}: \forall x .(\mathrm{P}(x) \rightarrow \mathrm{Q}(x)) \\ & \text {Y}: \forall x .(\neg \mathrm{R}(x) \rightarrow \neg \mathrm{Q}(x)) \end{aligned} $$
64.3k questions
77.9k answers
244k comments
80.0k users