سوال ۱۱۳ کنکور ارشد علوم کامپیوتر ۱۴۰۰
اهمیت
۰/۵
عبارت‌های زیر را در منطق گزاره‌ها در نظر می‌گیریم:
(الف) هر مجموعه ارضاء شدنی (Satisfiable) از فرمول‌ها سازگار است.
(ب) برای هر مجموعه از فرمول‌ها مانند و فرمول اگر آنگاه .
کدام گزینه در مورد آن‌ها درست است؟
پاسخ صحیح: گزینهٔ A — هر یک نتیجه‌ای از دیگری است.
پاسخ تشریحی
Recall the meanings:
ادامهٔ پاسخ تشریحی ویژهٔ مشترکان است.
مشاهدهٔ پاسخ کامل#propositional-logic#soundness#satisfiability#consistency#logical-entailment#provability