نقیض مضاعف

از ویکی‌پدیا، دانشنامهٔ آزاد

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

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

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

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

جستارهای وابسته[ویرایش]

منابع[ویرایش]

  1. «درآمد به منطق فصل ۱۰: روشهای استنتاج قسمت: هفتم: دستگاه استنتاج طبیعی». '. دریافت‌شده در ۲۰۱۵-۰۳-۰۹.
  2. Double negation, law of. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Double_negation,_law_of&oldid=34171
  3. Morton L. Schagrin (2014-08-04). "formal logic :: Nonstandard versions of PC". Encyclopedia Britannica. Retrieved 2015-03-09.