نقیض مضاعف
نقیض مضاعف قضیه‌ای در منطق گزاره‌ای است که مطابق آن نقیضِ نقیضِ یک گزاره با خود آن گزاره یکسان دانسته می‌شود.[1]
مطابق قانون سلب مضاعف اگر این گزاره که «نادرستی p نادرست است» صحیح باشد، آنگاه «p» صحیح است. این مطلب را به صورت زیر می‌نویسند:
قانون نقیض مضاعف با اصل طرد ثالث رابطهٔ نزدیکی دارد و حتی می‌توان آن را با آن یکسان دانست.[2]
اصل نقیض مضاعف در منطق شهودی مورد پذیرش نیست.[3]
جستارهای وابسته
منابع
- «درآمد به منطق فصل ۱۰: روشهای استنتاج قسمت: هفتم: دستگاه استنتاج طبیعی». '. دریافت‌شده در ۲۰۱۵-۰۳-۰۹.
- Double negation, law of. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Double_negation,_law_of&oldid=34171
- Morton L. Schagrin (2014-08-04). "formal logic :: Nonstandard versions of PC". Encyclopedia Britannica. Retrieved 2015-03-09.
| عمومی |
|  | |||
|---|---|---|---|---|---|
| منطقهای کلاسیک |
| ||||
| اصول |
| ||||
| قواعد |
| ||||
| افراد | |||||
| اثرها |
| ||||
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.