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

اهمیت

۰/۵

چه تعداد از فرمول‌های زیر در یک ساختار مرتبهٔ اول دارای تساوی ارضاءپذیر هستند؟

$\forall x\, \forall y\, (x = y)$ $\forall x\, \forall y\, (x \neq y)$ $\forall x\, \exists y\, (x \neq y)$

#first-order-logic#satisfiability#quantifiers#model-theory#equality#structure-interpretation