نقیض مضاعف

نقیض مضاعف الگو:به انگلیسی قضیه‌ای در منطق گزاره‌ای است که مطابق آن، نقیضِ نقیضِ یک گزاره، با خود آن گزاره یکسان دانسته می‌شود.

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

$⊢p\equiv \sim (\sim p)$

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

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

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

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