سوال ۱۰۰ کنکور ارشد علوم کامپیوتر ۱۴۰۱
اهمیت
۰/۵
یک اثبات در منطق گزارهها را شهودی میگوییم هرگاه در آن از قانون حذف دو نقیض () استفاده نشده باشد. درغیراینصورت اثبات در منطق کلاسیک خواهد بود. کدام گزینه در مورد فرمول در منطق گزارهها درست است؟
پاسخ صحیح: گزینهٔ A — در منطق شهودی و منطق کلاسیک قابل اثبات است.
پاسخ تشریحی
What the formula says
ادامهٔ پاسخ تشریحی ویژهٔ مشترکان است.
مشاهدهٔ پاسخ کامل#propositional-logic#intuitionistic-logic#classical-logic#double-negation#law-of-excluded-middle#provability