KonkurStudy

سوال ۱۰۴ کنکور ارشد علوم کامپیوتر ۱۳۹۸

اهمیت
۰/۵

فرض کنید Γ\Gamma مجموعه‌ای از گزاره‌ها باشد. گوییم Δ\Delta یک پایه برای Γ\Gamma است، اگر (۱) Δ⊆Γ\Delta \subseteq \Gamma و (۲) برای هر A∈ΓA \in \Gamma داریم Δ⊢A\Delta \vdash A (۳) برای هر B∈ΔB \in \Delta داریم Δ∖{B}⊬B\Delta \setminus \{B\} \nvdash B. کدام‌یک از احکام زیر درست است؟

#propositional-logic#provability#independent-base#tautology#deducibility#natural-deduction