حساب کاربری
​
زمان تقریبی مطالعه: 1 دقیقه
لینک کوتاه

نقیض مضاعف

قضیه‌ای در منطق گزاره‌ای

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

مطابق قانون سلب مضاعف، اگر این گزاره که «نادرستی p {\displaystyle p}

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

⊢   p   ≡   ∼ ( ∼ p ) {\displaystyle \vdash \ p\ \equiv \ \thicksim (\thicksim p)}

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

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

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

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

منابع

  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.{{}}: نگهداری یادکرد:تاریخ و سال (link)
آخرین نظرات
کلیه حقوق این تارنما متعلق به فرا دانشنامه ویکی بین است.