سوال ۱۰۹ کنکور ارشد علوم کامپیوتر ۱۳۹۹
اهمیت
۰/۵
با فرض اینکه و دو نظریه سازگار در زبان در منطق مرتبهٔ اول باشند، کدام مورد صحیح است؟
پاسخ صحیح: گزینهٔ C — سازگار است.
پاسخ تشریحی
Recall that a first-order theory is consistent exactly when it is satisfiable, i.e. …
ادامهٔ پاسخ تشریحی ویژهٔ مشترکان است.
مشاهدهٔ پاسخ کامل#model-theory#first-order-logic#consistency#satisfiability#theory#model