KonkurStudy

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

اهمیت
۰/۵

یک اثبات در منطق گزاره‌ها را شهودی می‌گوییم هرگاه در آن از قانون حذف دو نقیض (p∨¬pp \lor \neg p) استفاده نشده باشد. درغیراین‌صورت اثبات در منطق کلاسیک خواهد بود. کدام گزینه در مورد فرمول p→¬¬pp \rightarrow \neg\neg p در منطق گزاره‌ها درست است؟

#propositional-logic#intuitionistic-logic#classical-logic#double-negation#law-of-excluded-middle#provability