نمایش مبدأ برای نقیض مضاعف

'''نقیض مضاعف''' {{به انگلیسی|Double negation}} [[قضیه|قضیه‌ای]] در [[منطق گزاره‌ای]] است که مطابق آن، [[نقیض|نقیضِ]] نقیضِ یک [[گزارهٔ منطقی|گزاره]]، با خود آن گزاره یکسان دانسته می‌شود.<ref>{{یادکرد وب | عنوان=درآمد به منطق فصل ۱۰: روشهای استنتاج قسمت: هفتم: دستگاه استنتاج طبیعی | وبگاه=. | پیوند=http://khccsc.ir/logic/copi/ch10/ch10ED14sec6.htm | کد زبان=fa | تاریخ بازبینی=2015-03-09}}</ref>

مطابق قانون سلب مضاعف، اگر این گزاره که «''نادرستی'' <math>p</math> ''نادرست است''» صحیح باشد، آنگاه «<math>p</math>» صحیح است. این مطلب را به‌صورت زیر می‌نویسند:
{{چپ‌چین}}
:: <math dir=ltr>\vdash\ p \ \equiv\ \thicksim(\thicksim p)</math>
{{پایان چپ‌چین}}

قانون نقیض مضاعف با [[اصل طرد شق ثالث]] رابطهٔ نزدیکی دارد و حتی می‌توان آن‌ها را یکسان دانست.<ref>{{یادکرد وب|عنوان=Double negation, law of - Encyclopedia of Mathematics|نشانی=https://encyclopediaofmath.org/index.php?title=Double_negation,_law_of&oldid=34171|وبگاه=encyclopediaofmath.org|بازبینی=2022-12-10}}</ref>

اصل نقیض مضاعف در [[منطق شهودی]] مورد پذیرش نیست.<ref>{{یادکرد وب | عنوان=formal logic :: Nonstandard versions of PC | وبگاه=Encyclopedia Britannica | نویسنده=Morton L. Schagrin | تاریخ=2014-08-04 | سال=2014 | پیوند=http://www.britannica.com/EBchecked/topic/213716/formal-logic/65840/Nonstandard-versions-of-PC | کد زبان=en | تاریخ بازبینی=2015-03-09}}</ref>

== جستارهای وابسته ==
* [[قواعد استنتاج]]
* [[فرامنطق]]
* [[مبادی ریاضیات]]

== منابع ==
{{پانویس}}
{{منطق}}
{{منطق کلاسیک}}
[[رده:قضیه‌ها در حساب گزاره‌ای]]
[[رده:قواعد استنتاج]]
[[رده:منطق کلاسیک]]