مقدمه
در منطق ریاضی، برای بررسی گزارهها فقط دانستن اینکه یک جمله درست یا نادرست است کافی نیست؛ بلکه باید بتوانیم از یک گزاره، گزارههای جدیدی بسازیم و رابطه منطقی میان آنها را بهصورت دقیق بررسی کنیم. یکی از بنیادیترین این عملیات، نقیض گزاره است.
اگر \(p\) یک گزاره باشد، نقیض آن گزاره با نماد \(\neg p\) نشان داده میشود. نقیض، گزارهای است که ارزش صدق آن دقیقاً مخالف ارزش صدق گزاره اصلی است. بنابراین اگر \(p\) درست باشد، \(\neg p\) نادرست خواهد بود و اگر \(p\) نادرست باشد، \(\neg p\) درست خواهد بود. این تعریف در منابع دانشگاهی منطق گزارهای و ریاضیات گسسته بهصورت استاندارد استفاده میشود.
اهمیت نقیض فقط به یک عمل ساده روی گزارهها محدود نمیشود. نقیض در ساخت گزارههای مرکب، اثباتهای ریاضی، قوانین دمورگان، تبدیل عبارتهای منطقی و بسیاری از روشهای استدلال نقش اساسی دارد. همچنین درک درست نقیض، پیشنیاز مهمی برای فهم موضوعاتی مانند شرطی، همارزی منطقی و نقیض گزارههای دارای کمیتنما است.
پیشنیازها
برای فهم نقیض گزاره، آشنایی با مفهوم گزاره و ارزش صدق کافی است.
گزاره عبارتی است که در چارچوب منطق کلاسیک دقیقاً یکی از دو ارزش صدق «درست» یا «نادرست» را دارد. معمولاً این دو ارزش با \(T\) و \(F\)، یا گاهی با \(1\) و \(0\)، نمایش داده میشوند.
اگر گزارهای مانند:
$$ p:\quad 2+3=5 $$
داشته باشیم، چون عبارت درست است، میتوان نوشت:
$$ p=T $$
نقیض این گزاره، عبارت «\(2+3\neq5\)» خواهد بود که ارزش صدق آن \(F\) است.
برای مطالعه بیشتر مفهوم گزاره میتوانید به مقاله گزاره مراجعه کنید.
تعریف دقیق نقیض گزاره
نقیض یک گزاره گزارهای است که ارزش صدق آن دقیقاً مخالف ارزش صدق گزاره اصلی باشد.
اگر \(p\) یک گزاره باشد، نقیض آن را با نماد:
$$ \neg p $$
نشان میدهیم.
نماد \(\neg\) را میتوان «نقیض»، «نه» یا «چنین نیست که» خواند. برای مثال اگر:
$$ p:\quad 7>3 $$
باشد، نقیض آن عبارت است از:
$$ \neg p:\quad 7\leq3 $$
چون گزاره \(7>3\) درست است، نقیض آن یعنی \(7\leq3\) نادرست خواهد بود.
در یک منبع دانشگاهی فارسی نیز نقیض گزاره بهعنوان گزارهای معرفی شده است که ارزش آن دقیقاً مخالف ارزش گزاره اولیه باشد.
نماد نقیض گزاره
رایجترین نماد نقیض در منطق ریاضی، \(\neg\) است. بنابراین اگر \(p\) یک گزاره باشد، نقیض آن به صورت زیر نوشته میشود:
$$ \neg p $$
در برخی منابع یا دستگاههای نمادگذاری ممکن است از نمادهای دیگری مانند \(\sim p\) نیز استفاده شود، اما \(\neg p\) یکی از رایجترین و استانداردترین نمادگذاریها در متون جدید منطق و ریاضیات گسسته است. منابع آموزشی دانشگاهی مانند Stanford و Mathematics LibreTexts نیز از \(\neg\) برای نمایش نقیض استفاده میکنند.
ارزش صدق نقیض
اساسیترین ویژگی نقیض این است که ارزش صدق آن با گزاره اصلی مخالف است.
اگر \(p\) درست باشد:
$$ p=T \quad\Longrightarrow\quad \neg p=F $$
و اگر \(p\) نادرست باشد:
$$ p=F \quad\Longrightarrow\quad \neg p=T $$
بنابراین میتوان رابطه کلی را به صورت زیر خلاصه کرد:
$$ T(\neg p)= \begin{cases} F & \text{اگر } T(p)=T\\ T & \text{اگر } T(p)=F \end{cases} $$
در قراردادی که در آن \(T=1\) و \(F=0\) است، همین رابطه را میتوان به صورت سادهتر نوشت:
$$ T(\neg p)=1-T(p) $$
این رابطه دقیقاً بیان میکند که نقیض، ارزش صدق گزاره را از درست به نادرست و از نادرست به درست تبدیل میکند.
جدول ارزش نقیض
چون گزاره \(p\) در منطق کلاسیک فقط دو ارزش صدق ممکن دارد، جدول ارزش نقیض آن نیز فقط دو حالت خواهد داشت:
| \(p\) |
\(\neg p\) |
| \(T\) |
\(F\) |
| \(F\) |
\(T\) |
این جدول مستقیماً از تعریف نقیض به دست میآید: نقیض باید در هر حالت ارزش صدق مخالف گزاره اصلی را داشته باشد.
نقیض یک گزاره ساده
سادهترین حالت، نقیض یک گزاره ساده است. برای مثال:
$$ p:\quad 5>2 $$
نقیض آن:
$$ \neg p:\quad 5\leq2 $$
چون \(5>2\) درست است، گزاره \(5\leq2\) نادرست خواهد بود.
مثال دیگر:
$$ p:\quad 10=7 $$
نقیض آن:
$$ \neg p:\quad 10\neq7 $$
در این مثال، \(p\) نادرست و \(\neg p\) درست است.
نقیض گزارههای خبری در زبان طبیعی
در زبان طبیعی، ساخت نقیض معمولاً با واژههایی مانند «نیست»، «نمی»، «نه» یا عبارت «چنین نیست که» انجام میشود. با این حال، در ریاضیات باید مراقب باشیم که نقیض یک جمله را دقیقاً بسازیم و صرفاً یک جمله مخالف یا متضاد معنایی ایجاد نکنیم.
برای مثال اگر:
«عدد ۷ زوج است.»
باشد، نقیض دقیق آن:
«عدد ۷ زوج نیست.»
است.
در اینجا نیازی نیست جملهای مانند «عدد ۷ فرد است» را بهعنوان نقیض تعریف کنیم؛ اگرچه در مورد اعداد صحیح، «فرد بودن» با «زوج نبودن» ارتباط دارد. تعریف نقیض باید بر اساس ارزش صدق گزاره اصلی انجام شود.
نقیض گزارههای ریاضی
یکی از مهمترین مهارتها در منطق ریاضی، ساخت درست نقیض گزارههای ریاضی است.
نقیض برابری
اگر گزاره به شکل:
$$ a=b $$
باشد، نقیض آن:
$$ a\neq b $$
است.
زیرا دقیقاً یکی از دو حالت «\(a=b\)» یا «\(a\neq b\)» برقرار است.
نقیض نابرابری بزرگتر
اگر:
$$ x>3 $$
باشد، نقیض آن:
$$ x\leq3 $$
است.
نقیض نابرابری کوچکتر
اگر:
$$ x<5 $$
باشد، نقیض آن:
$$ x\geq5 $$
است.
بنابراین در نقیض نابرابریهای دقیق، علامت بزرگتر و کوچکتر به علامت شامل حالت مساوی تبدیل میشود.
| گزاره |
نقیض |
| \(x>3\) |
\(x\leq3\) |
| \(x\geq3\) |
\(x<3\) |
| \(x<3\) |
\(x\geq3\) |
| \(x\leq3\) |
\(x>3\) |
| \(x=3\) |
\(x\neq3\) |
| \(x\neq3\) |
\(x=3\) |
نقیض گزاره مرکب
اگر یک گزاره از چند گزاره سادهتر ساخته شده باشد، برای نوشتن نقیض آن باید ساختار منطقی گزاره را در نظر بگیریم.
برای مثال اگر:
$$ P=p\land q $$
باشد، نقیض آن:
$$ \neg P=\neg(p\land q) $$
است.
با استفاده از قانون دمورگان میتوان این عبارت را به شکل زیر نوشت:
$$ \neg(p\land q)\equiv\neg p\lor\neg q $$
همچنین اگر:
$$ P=p\lor q $$
باشد، نقیض آن برابر است با:
$$ \neg(p\lor q)\equiv\neg p\land\neg q $$
این دو رابطه از مهمترین قوانین نقیض در منطق گزارهای هستند و به قوانین دمورگان معروفاند. منابع دانشگاهی منطق و ریاضیات گسسته این قوانین را از همارزیهای بنیادی منطق گزارهای میدانند.
قوانین دمورگان
قوانین دمورگان به ما اجازه میدهند نقیض یک عطف یا فصل را به شکلی معادل بازنویسی کنیم.
قانون دمورگان برای عطف
$$ \neg(p\land q)\equiv\neg p\lor\neg q $$
معنای این رابطه چنین است: «اینکه هر دو \(p\) و \(q\) درست نباشند» با «حداقل یکی از \(p\) یا \(q\) نادرست باشد» همارز است.
قانون دمورگان برای فصل
$$ \neg(p\lor q)\equiv\neg p\land\neg q $$
یعنی «اینکه \(p\) یا \(q\) درست نباشد» معادل آن است که «هم \(p\) و هم \(q\) نادرست باشند».
این قوانین را میتوان با جدول ارزش نیز اثبات کرد. در منابع MIT و Stanford نیز قوانین نقیض و دمورگان بهعنوان بخشی از ساختار استاندارد منطق گزارهای معرفی شدهاند.
اثبات قوانین دمورگان با جدول ارزش
برای بررسی قانون اول دمورگان، عبارتهای زیر را مقایسه میکنیم:
$$ \neg(p\land q) $$
و:
$$ \neg p\lor\neg q $$
| \(p\) |
\(q\) |
\(p\land q\) |
\(\neg(p\land q)\) |
\(\neg p\) |
\(\neg q\) |
\(\neg p\lor\neg q\) |
| T |
T |
T |
F |
F |
F |
F |
| T |
F |
F |
T |
F |
T |
T |
| F |
T |
F |
T |
T |
F |
T |
| F |
F |
F |
T |
T |
T |
T |
دو ستون آخر، یعنی \(\neg(p\land q)\) و \(\neg p\lor\neg q\)، در تمام حالتها ارزش صدق یکسان دارند. بنابراین:
$$ \neg(p\land q)\equiv\neg p\lor\neg q $$
این نمونه نشان میدهد که قوانین منطقی را میتوان بهصورت مکانیکی و با بررسی تمام حالتهای ممکن نیز تأیید کرد.
نقیض مضاعف
اگر یک گزاره را دو بار نقیض کنیم، به گزاره اولیه بازمیگردیم. این ویژگی را قانون نقیض مضاعف مینامیم:
$$ \neg(\neg p)\equiv p $$
برای مثال اگر:
«عدد ۸ زوج است.»
را با \(p\) نشان دهیم، نقیض آن میشود:
«عدد ۸ زوج نیست.»
و نقیض نقیض آن دوباره به همان گزاره اولیه بازمیگردد:
«اینطور نیست که عدد ۸ زوج نباشد.»
که در منطق کلاسیک با «عدد ۸ زوج است» همارز است.
قانون نقیض مضاعف نیز در منابع دانشگاهی منطق گزارهای بهعنوان یکی از همارزیهای پایه معرفی میشود.
نقیض عطف و فصل
برای ساخت نقیض گزارههای مرکب، باید هم عملگر اصلی و هم اجزای آن را در نظر گرفت.
برای نمونه:
$$ P=p\land q $$
نقیض آن:
$$ \neg P=\neg(p\land q) $$
و با استفاده از قانون دمورگان:
$$ \neg P\equiv\neg p\lor\neg q $$
در مقابل، اگر:
$$ P=p\lor q $$
داشته باشیم، آنگاه:
$$ \neg P\equiv\neg p\land\neg q $$
بنابراین یک روش عملی برای نقیض کردن عطف و فصل این است که عملگر «و» و «یا» را جابهجا کنیم و نقیض را روی هر جزء اعمال کنیم.
نقیض گزاره شرطی
یکی از مواردی که معمولاً باعث اشتباه میشود، نقیض گزاره شرطی است.
اگر:
$$ p\rightarrow q $$
یک گزاره شرطی باشد، نقیض آن برابر است با:
$$ \neg(p\rightarrow q)\equiv p\land\neg q $$
دلیل این نتیجه آن است که گزاره شرطی \(p\rightarrow q\) فقط در یک حالت نادرست است: وقتی \(p\) درست و \(q\) نادرست باشد. بنابراین نقیض آن دقیقاً باید همین حالت را توصیف کند.
در نتیجه:
$$ \neg(p\rightarrow q) \equiv p\land\neg q $$
این رابطه در اثباتهای ریاضی اهمیت زیادی دارد؛ زیرا نقیض جمله «اگر \(p\)، آنگاه \(q\)» به معنای «\(p\) برقرار است و \(q\) برقرار نیست» است.
منابع دانشگاهی منطق نیز ساختار شرطی و نقش نقیض در تبدیل آن را به همین صورت تحلیل میکنند.
نقیض دوشرطی
اگر:
$$ p\leftrightarrow q $$
یک گزاره دوشرطی باشد، نقیض آن زمانی درست است که \(p\) و \(q\) ارزش صدق متفاوتی داشته باشند.
بنابراین:
$$ \neg(p\leftrightarrow q) \equiv (p\land\neg q)\lor(\neg p\land q) $$
این عبارت دقیقاً دو حالت را مشخص میکند:
- \(p\) درست و \(q\) نادرست باشد.
- \(p\) نادرست و \(q\) درست باشد.
در زبان منطقی، این حالت را میتوان با «عدم توافق ارزش صدق» دو گزاره نیز توصیف کرد.
تفاوت نقیض با متضاد
در زبان روزمره، «نقیض» و «متضاد» گاهی به یک معنا به کار میروند، اما در منطق باید میان آنها تفاوت گذاشت.
نقیض یک گزاره باید بهگونهای باشد که در هر حالت دقیقاً ارزش صدق مخالف گزاره اصلی را داشته باشد.
برای مثال اگر:
«عدد \(x\) بزرگتر از ۵ است.»
باشد، نقیض دقیق آن:
«عدد \(x\) بزرگتر از ۵ نیست.»
است که بهصورت ریاضی برابر با:
$$ x\leq5 $$
است.
بنابراین نوشتن \(x<5\) بهعنوان نقیض \(x>5\) اشتباه است؛ زیرا حالت \(x=5\) را نادیده میگیرد.
تفاوت نقیض با عکس و عکس نقیض
در گزارههای شرطی، مفاهیم «نقیض»، «عکس» و «عکس نقیض» یکسان نیستند.
اگر گزاره اصلی:
$$ p\rightarrow q $$
باشد، نقیض آن:
$$ \neg(p\rightarrow q) \equiv p\land\neg q $$
است.
اما عکس گزاره شرطی:
$$ q\rightarrow p $$
است.
و عکس نقیض آن:
$$ \neg q\rightarrow\neg p $$
است.
عکس نقیض با گزاره اصلی همارز منطقی است:
$$ p\rightarrow q \equiv \neg q\rightarrow\neg p $$
اما عکس گزاره، در حالت کلی، لزوماً با گزاره اصلی همارز نیست.
بنابراین نباید با دیدن کلمه «نقیض» تصور کرد که جای دو طرف گزاره شرطی نیز باید عوض شود.
نقیض و جدول ارزش
یکی از مطمئنترین روشها برای بررسی نقیض یک عبارت منطقی، استفاده از جدول ارزش است.
برای مثال، گزاره \(p\rightarrow q\) را در نظر بگیرید. جدول ارزش آن چنین است:
| \(p\) |
\(q\) |
\(p\rightarrow q\) |
\(\neg(p\rightarrow q)\) |
| T |
T |
T |
F |
| T |
F |
F |
T |
| F |
T |
T |
F |
| F |
F |
T |
F |
ستون نقیض فقط در حالتی درست است که \(p=T\) و \(q=F\). بنابراین:
$$ \neg(p\rightarrow q)\equiv p\land\neg q $$
برای آشنایی کاملتر با این روش میتوانید مقاله جدول ارزش را مطالعه کنید.
مثالهای حلشده
مثال ۱: نقیض یک گزاره ساده
نقیض گزاره زیر را بنویسید:
$$ p:\quad 8>3 $$
حل:
نقیض «بزرگتر بودن» برابر با «کوچکتر یا مساوی بودن» است. بنابراین:
$$ \neg p:\quad 8\leq3 $$
چون \(8>3\) درست است، نقیض آن نادرست است.
مثال ۲: نقیض یک برابری
نقیض عبارت زیر را بنویسید:
$$ x=4 $$
حل:
$$ x\neq4 $$
بنابراین نقیض \(x=4\)، عبارت \(x\neq4\) است.
مثال ۳: نقیض یک نابرابری
نقیض عبارت زیر چیست؟
$$ x\geq7 $$
حل:
نقیض «بزرگتر یا مساوی بودن» عبارت است از «کوچکتر بودن». بنابراین:
$$ \neg(x\geq7)\equiv x<7 $$
مثال ۴: نقیض عطف
نقیض عبارت زیر را به سادهترین شکل بنویسید:
$$ p\land q $$
حل:
ابتدا نقیض کل عبارت را مینویسیم:
$$ \neg(p\land q) $$
سپس از قانون دمورگان استفاده میکنیم:
$$ \neg(p\land q)\equiv\neg p\lor\neg q $$
پس پاسخ نهایی:
$$ \boxed{\neg p\lor\neg q} $$
مثال ۵: نقیض فصل
نقیض عبارت زیر را بنویسید:
$$ p\lor q $$
حل:
$$ \neg(p\lor q) \equiv \neg p\land\neg q $$
پس نقیض عبارت، عطف نقیض دو جزء است.
مثال ۶: نقیض گزاره شرطی
نقیض گزاره زیر را بنویسید:
$$ p\rightarrow q $$
حل:
نقیض شرطی در منطق گزارهای چنین است:
$$ \neg(p\rightarrow q) \equiv p\land\neg q $$
بنابراین پاسخ:
$$ \boxed{p\land\neg q} $$
مثال ۷: نقیض یک جمله فارسی
فرض کنید گزاره زیر را داشته باشیم:
«عدد \(n\) زوج است و بزرگتر از ۱۰ است.»
اگر این دو بخش را به صورت:
$$ p:\quad n\text{ زوج است} $$
$$ q:\quad n>10 $$
در نظر بگیریم، گزاره اصلی برابر است با:
$$ p\land q $$
نقیض آن:
$$ \neg(p\land q) \equiv \neg p\lor\neg q $$
یعنی:
«عدد \(n\) زوج نیست یا \(n\) بزرگتر از ۱۰ نیست.»
با تبدیل دقیق نابرابری، میتوان نوشت:
«عدد \(n\) زوج نیست یا \(n\leq10\) است.»
مثال ۸: نقیض گزارهای با دو شرط
فرض کنید:
«اگر \(x>2\) باشد، آنگاه \(x^2>4\) است.»
را در نظر بگیریم.
این گزاره به صورت:
$$ p\rightarrow q $$
در نظر گرفته میشود که در آن:
$$ p:\quad x>2 $$
$$ q:\quad x^2>4 $$
نقیض آن:
$$ p\land\neg q $$
است؛ یعنی:
«\(x>2\) و \(x^2\leq4\) است.»
این مثال نشان میدهد که نقیض شرطی را نباید با جابهجایی مقدم و تالی اشتباه گرفت.
نقیض گزاره و اثبات ریاضی
نقیض در بسیاری از روشهای اثبات ریاضی نقش مهمی دارد. برای نمونه، در برهان خلف معمولاً برای اثبات یک گزاره \(P\)، فرض میکنیم نقیض آن یعنی \(\neg P\) برقرار است و سپس نشان میدهیم این فرض به تناقض منجر میشود.
ساختار کلی این روش را میتوان به صورت زیر نمایش داد:
$$ \neg P\rightarrow\bot $$
که در آن \(\bot\) نماد تناقض است.
اگر از فرض نقیض \(P\) به تناقض برسیم، میتوان نتیجه گرفت که \(P\) باید برقرار باشد؛ البته صورت دقیق این استدلال به چارچوب منطقی و قواعد استنتاج مورد استفاده بستگی دارد.
منابع دانشگاهی آموزش ریاضیات گسسته نیز منطق گزارهای و نقیض را در کنار مباحث اثبات ریاضی قرار میدهند. برای نمونه، درس «Mathematics for Computer Science» در MIT فصل گزارهها را در ابتدای مسیر آموزش اثبات قرار داده است.
نقیض و همارزی منطقی
دو عبارت منطقی زمانی همارز هستند که در تمام حالتهای ممکن ارزش صدق یکسان داشته باشند.
برای مثال قانون نقیض مضاعف:
$$ \neg\neg p\equiv p $$
یک همارزی منطقی است.
همچنین قوانین دمورگان:
$$ \neg(p\land q)\equiv\neg p\lor\neg q $$
$$ \neg(p\lor q)\equiv\neg p\land\neg q $$
نیز همارزیهای منطقی هستند.
بنابراین نماد \(\equiv\) در اینجا بیان میکند که دو عبارت در تمام حالتهای ممکن ارزش صدق یکسان دارند، نه اینکه صرفاً دو عبارت از نظر زبانی شبیه باشند.
برای مطالعه بیشتر این مفهوم میتوانید به مقاله همارزی منطقی مراجعه کنید.
نقیض و منطق کلاسیک
تعریف ارائهشده در این مقاله در چارچوب منطق کلاسیک دوارزشی بیان شده است. در این چارچوب، ارزش صدق گزارهها از مجموعه:
$$ \{T,F\} $$
انتخاب میشود و نقیض، ارزش صدق گزاره را به ارزش مخالف آن تبدیل میکند.
در منطقهای غیرکلاسیک ممکن است تعریف ارزشهای منطقی یا رفتار برخی عملگرها متفاوت باشد. بنابراین قواعد ارائهشده در این مقاله را باید در چارچوب منطق کلاسیک تفسیر کرد.
کاربردهای نقیض گزاره
اثباتهای ریاضی
نقیض در برهان خلف، بررسی فرضهای مخالف و تحلیل دقیق ادعاهای ریاضی استفاده میشود.
ریاضیات گسسته
نقیض یکی از عملگرهای بنیادی منطق گزارهای است و برای ساخت و سادهسازی عبارتهای منطقی به کار میرود. منطق گزارهای معمولاً در ابتدای مباحث ریاضیات گسسته و روشهای اثبات قرار میگیرد.
علوم کامپیوتر
منطق گزارهای و عملگر نقیض در منطق بولی، طراحی مدارهای دیجیتال، تحلیل شرایط برنامهها و صورتبندی برخی مسائل علوم کامپیوتر کاربرد دارند. Stanford نیز منطق گزارهای را در ارتباط با بازنمایی رسمی و مدارهای دیجیتال بررسی میکند.
بازنویسی عبارتهای منطقی
با استفاده از قوانین دمورگان و نقیض مضاعف میتوان عبارتهای منطقی را به شکلهای معادل تبدیل کرد. این کار در سادهسازی فرمولها و تبدیل آنها به شکلهای استاندارد اهمیت دارد.
اشتباهات رایج
اشتباه اول: نقیض را برابر با یک جمله مخالف در نظر گرفتن
نقیض باید دقیقاً ارزش صدق مخالف داشته باشد. برای مثال نقیض \(x>5\)، عبارت \(x<5\) نیست؛ بلکه:
$$ x\leq5 $$
است.
اشتباه دوم: فراموش کردن حالت مساوی
یکی از رایجترین خطاها در نقیض نامساویها، حذف حالت مساوی است.
نادرست:
$$ \neg(x>5)=x<5 $$
درست:
$$ \neg(x>5)=x\leq5 $$
اشتباه سوم: نقیض شرطی را با عکس آن اشتباه گرفتن
نقیض:
$$ \neg(p\rightarrow q)\equiv p\land\neg q $$
است؛ در حالی که عکس شرطی:
$$ q\rightarrow p $$
است.
اشتباه چهارم: نقیض عطف را با نقیض هر جزء و همان عطف نوشتن
نقیض:
$$ \neg(p\land q) $$
برابر با:
$$ \neg p\lor\neg q $$
است، نه:
$$ \neg p\land\neg q $$
اشتباه پنجم: نقیض فصل را نادرست تبدیل کردن
بهطور مشابه:
$$ \neg(p\lor q) \equiv \neg p\land\neg q $$
است.
اشتباه ششم: تصور اینکه نقیض یک گزاره حتماً درباره موضوع دیگری است
نقیض باید مستقیماً به همان ادعای منطقی مربوط باشد. برای مثال نقیض «عدد ۷ زوج است» عبارت «عدد ۷ فرد است» نیست به این دلیل که صرفاً جملهای مرتبط است؛ بلکه نقیض دقیق آن «عدد ۷ زوج نیست» است. در دامنه اعداد صحیح، این دو عبارت ارزش صدق یکسانی دارند، اما هنگام تعریف نقیض باید ساختار منطقی دقیق را در نظر گرفت.
نکات مهم
- نقیض گزاره \(p\) با نماد \(\neg p\) نمایش داده میشود.
- نقیض همیشه ارزش صدق مخالف گزاره اصلی دارد.
- اگر \(p=T\)، آنگاه \(\neg p=F\) و اگر \(p=F\)، آنگاه \(\neg p=T\) است.
- نقیض برابری \(a=b\)، عبارت \(a\neq b\) است.
- نقیض \(x>c\)، عبارت \(x\leq c\) است.
- نقیض \(x
- نقیض \(p\land q\) با \(\neg p\lor\neg q\) همارز است.
- نقیض \(p\lor q\) با \(\neg p\land\neg q\) همارز است.
- نقیض مضاعف یک گزاره با خود آن گزاره همارز است.
- نقیض \(p\rightarrow q\) با \(p\land\neg q\) همارز است.
- نقیض با عکس و عکس نقیض یک گزاره شرطی یکسان نیست.
- قوانین دمورگان از مهمترین ابزارهای تبدیل نقیض گزارههای مرکب هستند.
مسیر مطالعه مفاهیم مرتبط
پس از یادگیری نقیض گزاره، برای تکمیل درک منطق گزارهای مطالعه موضوعات زیر پیشنهاد میشود:
- گزاره
- عطف و فصل
- شرطی و دوشرطی
- جدول ارزش
- همارزی منطقی
- کمیتنماها
- نقیض گزارههای دارای کمیتنما
جمعبندی
نقیض گزاره یکی از بنیادیترین عملگرهای منطق گزارهای است. اگر \(p\) یک گزاره باشد، \(\neg p\) گزارهای است که ارزش صدق آن دقیقاً مخالف \(p\) است. این تعریف ساده، پایه بسیاری از قوانین و تبدیلهای مهم در منطق ریاضی را تشکیل میدهد.
برای نقیض گزارههای ساده، کافی است ارزش صدق مخالف را در نظر بگیریم؛ اما در گزارههای مرکب باید ساختار منطقی عبارت نیز بررسی شود. قوانین دمورگان، قانون نقیض مضاعف و رابطه نقیض شرطی از مهمترین ابزارهای این فرایند هستند.
در نقیض نابرابریها نیز باید به مرزهای دقیق توجه کرد؛ برای نمونه نقیض \(x>5\)، عبارت \(x\leq5\) است، نه \(x<5\). همچنین نقیض یک گزاره شرطی با عکس یا عکس نقیض آن یکسان نیست.
تسلط بر نقیض گزاره، زمینه لازم برای مطالعه جدول ارزش، همارزی منطقی، روشهای اثبات و در ادامه نقیض گزارههای دارای کمیتنما را فراهم میکند.
موضوعات مرتبط
منابع
منابع کتابی
- Kenneth H. Rosen، Discrete Mathematics and Its Applications، 8th Edition، McGraw Hill. این کتاب از مراجع دانشگاهی شناختهشده ریاضیات گسسته است و مباحث منطق گزارهای، رابطهای منطقی، نقیض، جدول ارزش و همارزی منطقی را پوشش میدهد.
- Ralph P. Grimaldi، Discrete and Combinatorial Mathematics: An Applied Introduction، 5th Edition، Pearson. این کتاب مباحث منطق و عملگرهای منطقی را در چارچوب ریاضیات گسسته بررسی میکند.
- Susanna S. Epp، Discrete Mathematics with Applications، 4th Edition، Cengage Learning، 2011. این کتاب یکی از منابع دانشگاهی شناختهشده برای منطق، روشهای اثبات و ریاضیات گسسته است.
منابع وب
- MIT OpenCourseWare، Chapter 1: Propositions، Mathematics for Computer Science، Massachusetts Institute of Technology. این منبع دانشگاهی گزارهها و مفاهیم بنیادی منطق را در ابتدای درس ریاضیات برای علوم کامپیوتر معرفی میکند.
مشاهده منبع در MIT OpenCourseWare
- Stanford University، Introduction to Logic – Chapter 2: Propositional Logic. این منبع ساختار منطق گزارهای، گزارههای ساده و مرکب و عملگرهای منطقی از جمله نقیض را بررسی میکند.
مشاهده منبع در Stanford University
- Mathematics LibreTexts، Propositional Logic. این منبع تعریف نقیض، ارزش صدق و عملگرهای منطقی اصلی را ارائه میکند و جدول ارزش نقیض را نیز نشان میدهد.
مشاهده منبع در Mathematics LibreTexts
- Mathematics LibreTexts، Connectives، University of Lethbridge. این منبع دانشگاهی عملگرهای منطقی، از جمله نقیض، عطف، فصل، شرطی و دوشرطی را بررسی میکند.
مشاهده منبع در Mathematics LibreTexts
- دانشنامه رشد، «گزاره». این منبع فارسی تعریف گزاره و نقیض گزاره را ارائه میکند و رابطه ارزش صدق گزاره با نقیض آن را توضیح میدهد.
مشاهده منبع در دانشنامه رشد
- Arizona State University، School of Mathematical and Statistical Sciences، Propositional Logic. این جزوه دانشگاهی مجموعهای از مباحث منطق گزارهای و تمرینهای مربوط به نقیض، عملگرهای منطقی، قوانین همارزی و جدول ارزش را ارائه میکند.
مشاهده منبع در Arizona State University
- MIT OpenCourseWare، Mathematics for Computer Science – Complete Course Notes. این مجموعه در بخش منطق گزارهای، نقیض مضاعف و قوانین دمورگان را بهعنوان همارزیهای بنیادی بررسی میکند.
مشاهده منبع در MIT OpenCourseWare
تاریخ بررسی منابع: 13 August 2026 - ۲۲ مرداد ۱۴۰۵