نقیض مضاعف

نقیض مضاعف (به انگلیسی: Double negation) قضیه‌ای در منطق گزاره‌ای است که مطابق آن، نقیضِ نقیضِ یک گزاره، با خود آن گزاره یکسان دانسته می‌شود.^[1]

مطابق قانون سلب مضاعف، اگر این گزاره که «نادرستی ${\displaystyle p}$ نادرست است» صحیح باشد، آنگاه «${\displaystyle p}$» صحیح است. این مطلب را به‌صورت زیر می‌نویسند:

${\displaystyle \vdash \ p\ \equiv \ \thicksim (\thicksim p)}$

قانون نقیض مضاعف با اصل طرد شق ثالث رابطهٔ نزدیکی دارد و حتی می‌توان آن‌ها را یکسان دانست.^[2]

اصل نقیض مضاعف در منطق شهودی مورد پذیرش نیست.^[3]

جستارهای وابسته

• قواعد استنتاج
• فرامنطق
• مبادی ریاضیات

منابع

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