نقیض مضاعف

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

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

 

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

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

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

منابع 

قضیه‌ها در حساب گزاره‌ای
قواعد استنتاج
منطق کلاسیک