سوال ۱۰۴ کنکور ارشد علوم کامپیوتر ۱۳۹۸
اهمیت
۰/۵
فرض کنید مجموعهای از گزارهها باشد. گوییم یک پایه برای است، اگر (۱) و (۲) برای هر داریم (۳) برای هر داریم . کدامیک از احکام زیر درست است؟
پاسخ صحیح: گزینهٔ A — یک پایه برای است.
پاسخ تشریحی
A base for is an independent (irredundant) subset of that still proves everything in . The three conditions say:
ادامهٔ پاسخ تشریحی ویژهٔ مشترکان است.
مشاهدهٔ پاسخ کامل#propositional-logic#provability#independent-base#tautology#deducibility#natural-deduction