From Wikipedia, the free encyclopedia
در منطق، نقیض (به انگلیسی: Negation) یک عملگر منطقی یکتایی است، که نتیجۀ آن در صورتی که گزارۀ تحت آن نادرست باشد، درست خواهد بود و در غیر این صورت نادرست است.
NOT | |
---|---|
تعریف | |
جدول درستی | |
دروازه منطقی | |
فرمهای نرمال | |
فرم فصلی | |
فرم اشتراکی | |
چند جملهای ژگالکین | |
مشبکه پست | |
نگهداری 0 | خیر |
نگهداری 1 | خیر |
یکنوا | خیر |
همگر | بلی |
نقیض یک گزاره، گزارهای است که ارزش آن دقیقاً مخالف ارزش گزارۀ اولیه باشد. نقیض یک گزاره مانند ، بهصورت یا نمایش داده میشود (که البته رایجتر است) و نماد در زبان برنامهنویسی کامپیوتر کاربردی فراوان دارد. پس به این ترتیب، نقیض کردن یک گزاره عبارت است از ساختن گزارهای جدید که ارزش آن دقیقاً مخالف ارزش گزارۀ اصلی است و این کار معمولاً با آوردن لفظ «چنین نیست» در ابتدای گزارۀ اصلی انجام میشود. به عنوان مثال، نقیض گزارۀ «۷ عددی اول است» بهصورت «چنین نیست که ۷ عددی اول باشد» یا «۷ عددی اول نیست» نوشته میشود.[1]
درست | نادرست |
نادرست | درست |
مشاهده میکنید که در همۀ حالات منطقی، گزارۀ ، ارزشی دقیقاً مخالف دارد.
حال میخواهیم به عنوان تمرین، گزارهٔ زیر را نقیض کنیم:
گزاره:
نقیض گزاره:
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.