سوال ۱۰۰ کنکور ارشد علوم کامپیوتر ۱۴۰۵
اهمیت
۰/۵
دو عبارت زیر را درنظربگیرید:
الف ــ قضیه ناتمامیت گودل نشان می‌دهد که هیچ سیستم استنتاجی کامل برای منطق مرتبه اول کلاسیک وجود ندارد.
ب ــ اگر سیستم استنتاجی ناسازگار باشد می‌توان هر فرمولی را در آن اثبات کرد اما ممکن است برخی از آن فرمول‌ها در بعضی مدل‌ها درست نباشند.
از این دو عبارت کدام صحیح است؟
پاسخ صحیح: گزینهٔ B — فقط «ب»
پاسخ تشریحی
This question hinges on distinguishing Gödel's completeness theorem from his incompleteness theorems, plus the behavior of an inconsistent system.
ادامهٔ پاسخ تشریحی ویژهٔ مشترکان است.
مشاهدهٔ پاسخ کامل#godel-completeness-theorem#godel-incompleteness#first-order-logic#consistency#soundness#model-theory