نقیض

نقیض یک گزاره، گزاره‌ای است که ارزش آن دقیقاً مخالف ارزش گزارۀ اولیه باشد. نقیض یک گزاره مانند ${\displaystyle p}$

مشاهده می‌کنید که در همۀ حالات منطقی، گزارۀ ${\displaystyle \sim p}$

• ریچارد جانسون با (۱۳۸۰)، ساختمان‌های گسسته، ترجمهٔ حسین ابراهیم‌زاده قلزم (ویراست پنجم)، سیمای دانش

|}