نقیض مضاعف
قضیهای در منطق گزارهای / From Wikipedia, the free encyclopedia
نقیض مضاعف (به انگلیسی: Double negation) قضیهای در منطق گزارهای است که مطابق آن، نقیضِ نقیضِ یک گزاره، با خود آن گزاره یکسان دانسته میشود.[1]
مطابق قانون سلب مضاعف، اگر این گزاره که «نادرستی نادرست است» صحیح باشد، آنگاه «» صحیح است. این مطلب را بهصورت زیر مینویسند:
قانون نقیض مضاعف با اصل طرد شق ثالث رابطهٔ نزدیکی دارد و حتی میتوان آنها را یکسان دانست.[2]
اصل نقیض مضاعف در منطق شهودی مورد پذیرش نیست.[3]