سوال ۱۰۴ کنکور ارشد علوم کامپیوتر ۱۳۹۷

دو جمله $A : (\exists x_1)(\forall x_2)\, \mathbf{R}(x_1, x_2)$ و $B : (\exists x_1)(\forall x_2)\, \neg \mathbf{R}(x_1, x_2)$ را در نظر بگیرید. فرض کنید $M_1$ ساختار $\langle \mathbb{Q} \cap [0,1], <\rangle$ و $M_2$ ساختار $\langle \mathbb{Z}, <\rangle$ باشد. در این‌صورت: