نقیض

در منطق، نقیض  یک عملگر منطقی یکتایی است، که نتیجۀ آن در صورتی که گزارۀ تحت آن نادرست باشد، درست خواهد بود و در غیر این صورت نادرست است.

نقیض یک گزاره 
نقیض یک گزاره، گزاره‌ای است که ارزش آن دقیقاً مخالف ارزش گزارۀ اولیه باشد.
نقیض یک گزاره مانند ، به‌صورت  یا  نمایش داده می‌شود (که البته  رایج‌تر است) و نماد  در زبان برنامه‌نویسی کامپیوتر کاربردی فراوان دارد.
پس به این ترتیب، نقیض کردن یک گزاره عبارت است از ساختن گزاره‌ای جدید که ارزش آن دقیقاً مخالف ارزش گزارۀ اصلی است و این کار معمولاً با آوردن لفظ «چنین نیست» در ابتدای گزارۀ اصلی انجام می‌شود. به عنوان مثال، نقیض گزارۀ «۷ عددی اول است» به‌صورت «چنین نیست که ۷ عددی اول باشد» یا «۷ عددی اول نیست» نوشته می‌شود.

مشاهده می‌کنید که در همۀ حالات منطقی، گزارۀ ، ارزشی دقیقاً مخالف  دارد.
حال می‌خواهیم به عنوان تمرین، گزارهٔ زیر را نقیض کنیم:گزاره: نقیض گزاره:

منابع 

 

جبر بولی
دستور زبان
رابط‌های منطقی
معناشناسی
مفهوم‌های منفی
منطق
منطق ریاضی
منطق گزاره‌ای
|}