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

اهمیت

۰/۵

فرمول $(\neg\exists z\,\forall y\;z\le y)\wedge(\forall x\,\forall y\,\exists z\,(x\le z\le y\vee y\le z\le x))$ ، در چه تعداد از ساختارهای ترتیبی اعداد طبیعی، اعداد صحیح، اعداد گویا و اعداد حقیقی درست است؟

#first-order-logic#model-evaluation#quantifier-order#linear-order#least-element