نقیض مضاعف
قضیهای در منطق گزارهای
نقیض مضاعف (به انگلیسی: Double negation) قضیهای در منطق گزارهای است که مطابق آن، نقیضِ نقیضِ یک گزاره، با خود آن گزاره یکسان دانسته میشود.
مطابق قانون سلب مضاعف، اگر این گزاره که «نادرستی نادرست است» صحیح باشد، آنگاه «» صحیح است. این مطلب را بهصورت زیر مینویسند:
قانون نقیض مضاعف با اصل طرد شق ثالث رابطهٔ نزدیکی دارد و حتی میتوان آنها را یکسان دانست.
اصل نقیض مضاعف در منطق شهودی مورد پذیرش نیست.
جستارهای وابسته
منابع
- ↑ «درآمد به منطق فصل ۱۰: روشهای استنتاج قسمت: هفتم: دستگاه استنتاج طبیعی». '. دریافتشده در ۲۰۱۵-۰۳-۰۹.
- ↑ «Double negation, law of - Encyclopedia of Mathematics». encyclopediaofmath.org. دریافتشده در ۲۰۲۲-۱۲-۱۰.
- ↑ Morton L. Schagrin (2014-08-04). "formal logic :: Nonstandard versions of PC". Encyclopedia Britannica (به انگلیسی). Retrieved 2015-03-09.
{{}}
: نگهداری یادکرد:تاریخ و سال (link)