سوال ۱۰۸ کنکور ارشد علوم کامپیوتر ۱۳۹۸
اهمیت
۰/۵
فرض کنید مجموعه‌ای از گزاره‌هایی باشد که از اتم‌هایی که از اتم‌های (نمادهای گزاره‌ای ساده) تشکیل شده‌اند. کدام‌یک از ادعاهای زیر همواره درست است؟
پاسخ صحیح: گزینهٔ B — زیر مجموعه‌ی متناهی از موجود است که برای هر داریم:
پاسخ تشریحی
The decisive hypothesis is that all formulas of are built from the same finite atom set . We test each claim against this.
ادامهٔ پاسخ تشریحی ویژهٔ مشترکان است.
مشاهدهٔ پاسخ کامل#propositional-logic#logical-entailment#semantics#finitely-many-atoms#logical-equivalence#satisfiability