مقدمه
در ریاضیات، بسیاری از گزارهها به صورت کلی بیان میشوند؛ برای مثال، ممکن است ادعا شود که «برای هر عدد صحیح \(n\)، ویژگی خاصی برقرار است». چنین گزارهای با بررسی چند نمونه اثبات نمیشود، زیرا ممکن است نمونهای دیگر وجود داشته باشد که گزاره در آن شکست بخورد. در مقابل، اگر گزارهای کلی نادرست باشد، معمولاً برای رد آن به پیدا کردن تنها یک مورد ناموفق نیاز داریم. این مورد را مثال نقض مینامیم.
اهمیت مثال نقض فقط در رد کردن گزارهها نیست. در فرایند حل مسئله، ریاضیدانان از بررسی نمونههای ساده، مرزی و خاص برای آزمایش حدسها و پیدا کردن مسیر مناسب برای اثبات نیز استفاده میکنند. منابع آموزشی دانشگاهی نیز تأکید میکنند که یافتن یک مثال نقض میتواند یک گزاره کلی را فوراً رد کند، در حالی که تعداد زیادی مثال موفق، بهتنهایی برای اثبات یک گزاره کلی کافی نیستند.
برای آشنایی با سایر روشهای استدلال و اثبات میتوانید به
روشهای اثبات در ریاضیات
مراجعه کنید.
پیشنیازها
برای فهم مثال نقض، آشنایی مقدماتی با گزاره، شرطی منطقی و کمیتگذار کلی مفید است. گزارهای مانند
\[
\forall x\in U,\; P(x)
\]
ادعا میکند که \(P(x)\) برای همه اعضای مجموعه مرجع \(U\) برقرار است.
همچنین یک گزاره شرطی مانند
\[
P(x)\Rightarrow Q(x)
\]
میگوید هرگاه \(P(x)\) برقرار باشد، آنگاه \(Q(x)\) نیز باید برقرار باشد.
برای بررسی دقیقتر مفهوم گزاره، میتوانید مقاله
گزاره
را مطالعه کنید. همچنین مفهوم
شرطی و دوشرطی
برای درک گزارههای شرطی مرتبط است.
تعریف دقیق مثال نقض
مثال نقض نمونهای مشخص از دامنه مورد بررسی است که نشان میدهد یک گزاره کلی نادرست است.
اگر گزاره به صورت
\[
\forall x\in U,\; P(x)
\]
باشد، یک مثال نقض عنصری مانند \(a\in U\) است که در آن
\[
P(a)=\text{نادرست}.
\]
به بیان ساده، گزاره میگوید «همه موارد این ویژگی را دارند» و مثال نقض یک مورد معتبر پیدا میکند که آن ویژگی را ندارد.
مثال نقض برای گزاره شرطی
اگر گزاره به صورت
\[
\forall x\in U,\; \big(P(x)\Rightarrow Q(x)\big)
\]
باشد، برای رد کردن آن باید عضوی مانند \(a\in U\) پیدا کنیم که هم فرض درست باشد و هم نتیجه نادرست:
\[
P(a)=\text{درست}
\qquad\text{و}\qquad
Q(a)=\text{نادرست}.
\]
این نکته بسیار مهم است. صرفاً پیدا کردن موردی که \(Q(a)\) نادرست باشد کافی نیست؛ باید \(P(a)\) نیز برقرار باشد. اگر فرض گزاره در آن مورد نادرست باشد، آن مورد نمیتواند مثال نقض گزاره شرطی باشد.
چرا یک مثال نقض کافی است؟
فرض کنید گزارهای ادعا میکند:
\[
\forall x\in U,\; P(x).
\]
نقیض منطقی این گزاره چنین است:
\[
\exists x\in U,\; \neg P(x).
\]
بنابراین برای رد یک گزاره کلی، کافی است یک عضو \(a\) پیدا کنیم که \(P(a)\) در آن برقرار نباشد. به همین دلیل، حتی یک مثال نقض معتبر میتواند کل گزاره را رد کند.
این ویژگی با ماهیت کمیتگذار کلی ارتباط مستقیم دارد: گزاره کلی درباره همه موارد صحبت میکند، اما برای نشان دادن نادرستی آن تنها به یک مورد استثنایی نیاز داریم.
مثال نقض در گزارههای شرطی
فرض کنید ادعا شده است:
\[
\text{اگر }x^2>y^2\text{، آنگاه }x>y.
\]
برای بررسی این ادعا باید عددهایی پیدا کنیم که شرط اول درست باشد، اما نتیجه دوم درست نباشد.
عددهای
\[
x=-3,\qquad y=2
\]
را در نظر بگیرید. داریم:
\[
x^2=9,\qquad y^2=4
\]
پس
\[
x^2>y^2
\]
درست است، اما
\[
-3>2
\]
نادرست است.
بنابراین \((-3,2)\) یک مثال نقض برای این گزاره است و گزاره کلی نادرست است.
تفاوت مثال معمولی و مثال نقض
یکی از مهمترین نکات در استدلال ریاضی این است که «مثال» و «مثال نقض» یکسان نیستند.
فرض کنید ادعا شده باشد:
\[
\forall n\in\mathbb{Z},\quad n^2\geq 0.
\]
برای \(n=2\)، گزاره درست است و برای \(n=-5\) نیز درست است. اما این نمونهها بهتنهایی اثبات نمیکنند که گزاره برای همه اعداد صحیح درست است.
در مقابل، اگر گزارهای کلی باشد و حتی یک نمونه پیدا کنیم که آن را نقض کند، همان نمونه ارزش ویژهای پیدا میکند و «مثال نقض» نامیده میشود.
قاعده کلیدی: چند مثال موفق نمیتوانند یک گزاره کلی را اثبات کنند؛ اما یک مثال ناموفق میتواند یک گزاره کلی را رد کند.
روش پیدا کردن مثال نقض
پیدا کردن مثال نقض معمولاً یک فرایند هوشمندانه است و بهتر است بهجای انتخاب کاملاً تصادفی، ساختار گزاره را بررسی کنیم.
گام اول: مشخص کردن نوع گزاره
ابتدا مشخص کنید آیا گزاره درباره همه اعضای یک مجموعه صحبت میکند یا به شکل شرطی بیان شده است.
برای نمونه:
\[
\forall x\in U,\; P(x)
\]
یا
\[
\forall x\in U,\; P(x)\Rightarrow Q(x).
\]
گام دوم: بررسی شرایط فرض
در گزاره شرطی، مثال نقض باید حتماً شرایط فرض را برآورده کند. اگر فرض برقرار نباشد، نمیتوان آن مورد را مثال نقض دانست.
گام سوم: جستوجوی موارد ساده یا مرزی
مواردی مانند صفر، یک، اعداد منفی، کوچکترین مقادیر مجاز، مجموعه تهی، مجموعههای تکعضوی یا توابع بسیار ساده، بسته به موضوع، میتوانند برای جستوجوی مثال نقض مفید باشند. در درسهای دانشگاهی روش حل مسئله نیز توصیه میشود برای آزمودن حدسها به موارد ساده و حتی حالتهای مرزی توجه شود.
گام چهارم: پیدا کردن شکست نتیجه
پس از رعایت فرض، بررسی کنید آیا نتیجه گزاره در آن مورد نادرست میشود یا خیر.
گام پنجم: نشان دادن کامل نقض
در نوشتن پاسخ، فقط نوشتن مقدار مثال کافی نیست. باید نشان دهید چرا آن مقدار شرایط لازم را دارد و دقیقاً چگونه نتیجه گزاره را نقض میکند.
مثال حلشده ۱: جمع دو عدد گنگ
ادعا کنید:
«جمع هر دو عدد گنگ، عددی گنگ است.»
این گزاره کلی است. برای بررسی آن میتوانیم دو عدد گنگ ساده انتخاب کنیم:
\[
\sqrt{2}
\qquad\text{و}\qquad
-\sqrt{2}.
\]
هر دو عدد گنگ هستند، اما جمع آنها برابر است با:
\[
\sqrt{2}+(-\sqrt{2})=0.
\]
عدد \(0\) گویاست، زیرا میتوان آن را به صورت
\[
0=\frac{0}{1}
\]
نوشت.
پس دو عدد گنگ پیدا کردهایم که جمعشان گویاست. بنابراین این دو عدد یک مثال نقض برای ادعای اولیه هستند.
نتیجه: گزاره «جمع هر دو عدد گنگ گنگ است» نادرست است.
مثال حلشده ۲: توان دوم و مقایسه اعداد
ادعا:
\[
x^2>y^2\Rightarrow x>y.
\]
از آنجا که مربع کردن علامت عدد را از بین میبرد، بهتر است یکی از اعداد را منفی انتخاب کنیم.
انتخاب میکنیم:
\[
x=-4,\qquad y=3.
\]
آنگاه:
\[
x^2=16,\qquad y^2=9,
\]
بنابراین:
\[
x^2>y^2.
\]
اما:
\[
-4>3
\]
نادرست است.
پس \((-4,3)\) مثال نقض است.
مثال حلشده ۳: یک ادعای معروف درباره اعداد اول
فرض کنید کسی ادعا کند:
\[
n^2-n+11
\]
برای هر عدد صحیح \(n\) عددی اول است.
بررسی چند مقدار کوچک ممکن است در ابتدا این حدس را تقویت کند. برای مثال:
\[
n=1\Rightarrow 11,
\]
\[
n=2\Rightarrow 13,
\]
\[
n=3\Rightarrow 17.
\]
اما بررسی \(n=11\) نتیجه متفاوتی میدهد:
\[
11^2-11+11=121.
\]
و چون
\[
121=11\times11,
\]
عدد حاصل اول نیست.
بنابراین \(n=11\) یک مثال نقض برای ادعای کلی است.
این مثال اهمیت یک اصل مهم را نشان میدهد: حتی اگر یک الگو در تعداد زیادی نمونه دیده شود، هنوز ممکن است نمونهای وجود داشته باشد که آن الگو را بشکند. این موضوع در کتاب How to Prove It اثر دانیل ولمان نیز با نمونهای از گزارههای مربوط به اعداد اول بررسی شده است.
مثال حلشده ۴: مثال نقض در مجموعهها
ادعا کنید برای هر سه مجموعه \(A\)، \(B\) و \(C\) داریم:
\[
A-(B\cap C)=(A-B)\cap(A-C).
\]
برای بررسی، مجموعههای زیر را انتخاب میکنیم:
\[
A=\{1,2,3\},
\qquad
B=\{1,2\},
\qquad
C=\{2,3\}.
\]
ابتدا داریم:
\[
B\cap C=\{2\}.
\]
پس:
\[
A-(B\cap C)=\{1,3\}.
\]
از طرف دیگر:
\[
A-B=\{3\}
\]
و
\[
A-C=\{1\}.
\]
بنابراین:
\[
(A-B)\cap(A-C)=\{3\}\cap\{1\}=\varnothing.
\]
در نتیجه:
\[
\{1,3\}\ne\varnothing.
\]
پس ادعای اولیه نادرست است و این سه مجموعه یک مثال نقض برای آن هستند.
مثال حلشده ۵: مثال نقض برای یک گزاره شرطی
ادعا:
اگر عدد صحیح \(n\) بر \(6\) بخشپذیر باشد، آنگاه \(n\) بر \(12\) بخشپذیر است.
برای یافتن مثال نقض باید عددی پیدا کنیم که بر \(6\) بخشپذیر باشد ولی بر \(12\) بخشپذیر نباشد.
عدد \(n=6\) انتخاب مناسبی است:
\[
6=6\times1,
\]
پس \(6\) بر \(6\) بخشپذیر است، اما
\[
6\div12
\]
عدد صحیح نیست؛ بنابراین \(6\) بر \(12\) بخشپذیر نیست.
پس \(n=6\) مثال نقض گزاره است.
مثال نقض در گزارههای مربوط به توابع
مثال نقض فقط به اعداد و محاسبات جبری محدود نیست و در نظریه مجموعهها و توابع نیز کاربرد فراوانی دارد.
فرض کنید ادعا شده باشد:
\[
f(A\cap B)=f(A)\cap f(B)
\]
برای هر تابع \(f\) و هر دو مجموعه \(A\) و \(B\).
برای رد این گزاره میتوان تابع ثابت
\[
f(x)=3
\]
را در نظر گرفت و قرار داد:
\[
A=\{0\},\qquad B=\{1\}.
\]
چون \(A\cap B=\varnothing\)، داریم:
\[
f(A\cap B)=f(\varnothing)=\varnothing.
\]
اما:
\[
f(A)=\{3\},
\qquad
f(B)=\{3\}.
\]
بنابراین:
\[
f(A)\cap f(B)=\{3\}.
\]
پس:
\[
f(A\cap B)\ne f(A)\cap f(B).
\]
در نتیجه، این تابع و این دو مجموعه یک مثال نقض هستند. در دوره «Introduction to University Mathematics» دانشگاه آکسفورد نیز همین ایده در بررسی خواص تصویر مجموعهها و توابع برای یافتن مثال نقض به کار رفته است.
مثال نقض و گزارههای کلی
رابطه میان مثال نقض و گزاره کلی را میتوان به صورت زیر خلاصه کرد:
\[
\forall x\in U,\;P(x)
\]
اگر \(a\in U\) پیدا شود که:
\[
\neg P(a),
\]
آنگاه گزاره کلی نادرست است.
به زبان مجموعهای نیز میتوان گفت اگر مجموعه مواردی که \(P\) در آنها برقرار نیست، تهی نباشد، گزاره کلی نمیتواند درست باشد:
\[
\{x\in U\mid \neg P(x)\}\ne\varnothing.
\]
آیا مثال نقض یک «اثبات» است؟
از نظر دقیق اصطلاحشناسی بهتر است میان اثبات یک گزاره و رد یک گزاره با مثال نقض تفاوت بگذاریم.
وقتی گزارهای درست است، برای پذیرش ریاضی آن به یک استدلال معتبر نیاز داریم. اما اگر گزارهای کلی نادرست باشد، نمایش یک موردی که گزاره در آن شکست میخورد، برای نشان دادن نادرستی آن کافی است.
به همین دلیل، در متون آموزشی اثبات و رد گزاره معمولاً جدا از یکدیگر بررسی میشوند. برای مثال، ساندستروم در کتاب Mathematical Reasoning: Writing and Proof مثال نقض را در کنار روشهای اصلی ساختن و نوشتن استدلالهای ریاضی قرار میدهد.
چرا بررسی مثالها قبل از اثبات مفید است؟
فرض کنید حدسی ارائه کردهاید. اگر بدون آزمایش اولیه مستقیماً برای اثبات آن تلاش کنید، ممکن است زمان زیادی را صرف گزارهای کنید که اساساً نادرست است.
بررسی چند نمونه میتواند دو نتیجه متفاوت داشته باشد:
- اگر نمونهای پیدا شود که گزاره را نقض کند، میتوان حدس را کنار گذاشت.
- اگر چند نمونه موفق باشند، فقط شواهدی تجربی برای درستی حدس به دست آمده است و هنوز اثباتی ارائه نشده است.
بنابراین مثالها در ریاضیات میتوانند ابزار قدرتمندی برای کشف باشند، اما نمونههای موفق جایگزین استدلال عمومی نمیشوند.
چگونه یک مثال نقض خوب پیدا کنیم؟
همه مثالهای نقض به یک اندازه آسان پیدا نمیشوند. چند راهبرد معمول عبارتاند از:
۱. بررسی اعداد کوچک
اعداد کوچک محاسبات را ساده میکنند و گاهی سریعاً ادعا را رد میکنند.
۲. بررسی صفر و یک
در بسیاری از گزارههای جبری، انتخاب \(0\) یا \(1\) میتواند ساختار عبارت را ساده کند.
۳. بررسی اعداد منفی
اگر گزاره درباره مربع، قدرمطلق، توان زوج یا ترتیب اعداد باشد، اعداد منفی گزینههای مناسبی برای آزمایش هستند.
۴. بررسی حالتهای مرزی
در مسائل مجموعهای، حالتهایی مانند مجموعه تهی، مجموعه تکعضوی، مجموعههای نابرابر یا مجموعههای جدا از هم میتوانند بسیار روشنگر باشند.
۵. بررسی فرضهای قضیه
اگر ادعا با حذف یا ضعیف کردن یک فرض به شکل جدیدی مطرح شده است، بهتر است دقیقاً مواردی را بررسی کنیم که شرط حذفشده را نقض میکنند. در غیر این صورت ممکن است عملاً فقط حالتهایی را بررسی کنیم که از قبل تحت شرایط اصلی قضیه درست بودهاند.
اشتباهات رایج
اشتباه اول: یک مثال موفق را اثبات تلقی کردن
اگر برای یک گزاره کلی چند نمونه پیدا کنیم که درست هستند، هنوز گزاره را اثبات نکردهایم.
برای مثال، از درست بودن
\[
1^2\geq0,\qquad 2^2\geq0,\qquad 3^2\geq0
\]
نمیتوان نتیجه گرفت که برای هر عدد حقیقی \(x\)، \(x^2\geq0\) برقرار است. برای این گزاره خاص البته میتوان یک استدلال عمومی ارائه کرد.
اشتباه دوم: نقض نتیجه بدون برقرار بودن فرض
برای گزاره شرطی \(P\Rightarrow Q\)، اگر مثالی پیدا کنیم که \(Q\) در آن نادرست باشد ولی \(P\) نیز نادرست باشد، آن مثال نقض نیست.
مثال نقض باید دقیقاً الگویی از این شکل داشته باشد:
\[
P(a)=\text{درست},\qquad Q(a)=\text{نادرست}.
\]
اشتباه سوم: ارائه عدد بدون توضیح
نوشتن «مثال نقض \(x=5\) است» بهتنهایی کافی نیست. باید نشان دهیم چرا این مقدار شرایط فرض را دارد و چگونه نتیجه را نقض میکند.
اشتباه چهارم: تصور اینکه پیدا نکردن مثال نقض یعنی گزاره درست است
ممکن است بعد از بررسی صدها مورد، هنوز مثال نقض پیدا نکرده باشیم. این موضوع بهتنهایی گزاره را اثبات نمیکند؛ زیرا ممکن است مثال نقض در موردی بسیار بزرگ یا ساختاری پیچیده پنهان شده باشد.
اشتباه پنجم: انتخاب مثالی خارج از دامنه
اگر گزاره درباره اعداد صحیح باشد، انتخاب یک عدد حقیقی غیرصحیح نمیتواند مثال نقض آن باشد. مثال نقض باید از همان دامنهای انتخاب شود که گزاره درباره آن صحبت میکند.
نکات مهم و عمیقتر
- مثال نقض باید تمام شرایط اولیه گزاره را رعایت کند.
- برای رد یک گزاره کلی، تنها یک مثال نقض کافی است.
- برای اثبات یک گزاره کلی، بررسی تعداد محدودی مثال کافی نیست؛ مگر اینکه دامنه مورد بررسی متناهی باشد و همه موارد بهطور کامل بررسی شوند.
- در جستوجوی مثال نقض، موارد ساده، مرزی و ساختاریافته معمولاً از انتخاب تصادفی مفیدترند.
- مثال نقض میتواند به اصلاح یک حدس کمک کند؛ گاهی بررسی علت شکست حدس، نسخه دقیقتر و درستتری از آن را آشکار میکند.
- در یک گزاره شرطی، معیار اصلی مثال نقض «فرض درست و نتیجه نادرست» است.
- مثال نقض برای رد یک ادعای کلی بسیار قدرتمند است، اما نبودن مثال نقض در جستوجوی محدود، اثبات محسوب نمیشود.
کاربردهای مثال نقض در ریاضیات
مثال نقض در حوزههای مختلف ریاضیات کاربرد دارد، از جمله:
- جبر: بررسی اتحادها و روابطی که برای همه مقادیر ادعا شدهاند.
- نظریه اعداد: رد حدسهایی درباره اعداد اول، بخشپذیری و توانها.
- نظریه مجموعهها: بررسی ادعاهای مربوط به اجتماع، اشتراک، تفاضل و روابط مجموعهها.
- توابع: بررسی ادعاهای عمومی درباره تصویر، پیشتصویر، ترکیب و ویژگیهای توابع.
- آنالیز: آزمودن ادعاهای مربوط به پیوستگی، کرانداری، همگرایی و سایر ویژگیها.
- منطق ریاضی: نشان دادن نادرستی استدلالها و گزارههای دارای کمیتگذار کلی.
تفاوت مثال نقض با استثنا
در زبان معمول ممکن است «استثنا» و «مثال نقض» نزدیک به نظر برسند، اما در ریاضیات مثال نقض معنای دقیقتری دارد. مثال نقض باید نشان دهد که گزاره مورد نظر در یک مورد مجاز نادرست است.
اگر گزارهای اساساً فقط درباره مجموعه خاصی از اشیا صحبت کند، موردی خارج از آن مجموعه نمیتواند مثال نقض آن باشد.
تفاوت مثال نقض با نقض منطقی گزاره
«نقیض گزاره» یک مفهوم منطقی است و به گزارهای گفته میشود که ارزش صدق آن در برابر گزاره اصلی قرار میگیرد. اما «مثال نقض» یک شیء، عدد، مجموعه، تابع یا ساختار مشخص است که نادرستی گزاره مورد نظر را نشان میدهد.
برای گزاره کلی
\[
\forall x\in U,\;P(x),
\]
نقیض آن
\[
\exists x\in U,\;\neg P(x)
\]
است و یک مثال نقض، عضوی مشخص از \(U\) است که این شرط را برآورده میکند.
برای مطالعه بیشتر میتوانید به مقاله
نقیض گزاره
مراجعه کنید.
جمعبندی
مثال نقض یکی از سادهترین و در عین حال قدرتمندترین ابزارهای بررسی گزارههای ریاضی است. اگر یک گزاره کلی ادعا کند که ویژگی خاصی برای همه اعضای یک دامنه برقرار است، کافی است یک عضو مجاز پیدا کنیم که آن ویژگی را نداشته باشد تا گزاره رد شود.
در گزاره شرطی \(P\Rightarrow Q\)، مثال نقض باید مقداری باشد که \(P\) در آن درست و \(Q\) در آن نادرست باشد. در مقابل، چندین نمونه موفق نمیتوانند بهتنهایی یک گزاره کلی را اثبات کنند.
مهارت در پیدا کردن مثال نقض فقط برای پاسخ دادن به سؤالهای «درست یا نادرست» مفید نیست؛ این مهارت بخشی از تفکر ریاضی است و به تشخیص حدسهای نادرست، اصلاح صورت مسئله و انتخاب راهبرد مناسب برای اثبات کمک میکند.
موضوعات مرتبط
منابع
-
University of Oxford, Mathematical Institute،
Introduction to University Mathematics: Logic and Proof؛
بخش Counterexamples. این منبع بر استفاده از مثال نقض برای رد حدسها و توجه به حالتهای ساده و مرزی تأکید میکند.
مشاهده منبع در دانشگاه آکسفورد
تاریخ بررسی منبع: ۲۲ مرداد ۱۴۰۵
-
University of Alberta / Mathematics LibreTexts، Jeremy Sylvestre،
Proof by Counterexample. این منبع تعریف رسمی مثال نقض را در ارتباط با گزارههای شرطی و نشان دادن نادرستی آنها ارائه میکند.
مشاهده منبع در Mathematics LibreTexts
تاریخ بررسی منبع: ۲۲ مرداد ۱۴۰۵
-
Mathematics LibreTexts،
Proofs، بر اساس محتوای درس ریاضیات گسسته. این منبع تفاوت میان اثبات گزارههای کلی و استفاده از مثال نقض برای رد آنها را توضیح میدهد.
مشاهده منبع در Mathematics LibreTexts
تاریخ بررسی منبع: ۲۲ مرداد ۱۴۰۵
-
Daniel J. Velleman،
How to Prove It: A Structured Approach، ویرایش سوم، Cambridge University Press، ۲۰۱۹. این کتاب از منابع دانشگاهی شناختهشده در آموزش روشهای اثبات است و در بحث حدسها و مثال نقض نمونههای مرتبط با اعداد اول ارائه میکند.
مشاهده صفحه کتاب در Cambridge University Press
تاریخ بررسی منبع: ۲۲ مرداد ۱۴۰۵
-
Ted Sundstrom،
Mathematical Reasoning: Writing and Proof، Version 3، Grand Valley State University. این کتاب دانشگاهی روشهای مختلف اثبات و رد گزارهها، از جمله مثال نقض، را پوشش میدهد.
مشاهده منبع در Grand Valley State University
تاریخ بررسی منبع: ۲۲ مرداد ۱۴۰۵
-
Richard Hammack،
Book of Proof. در فصل مربوط به رد گزارهها، روش رد گزاره شرطی با یافتن مقداری که فرض را درست و نتیجه را نادرست میکند، توضیح داده شده است.
مشاهده کتاب Book of Proof
تاریخ بررسی منبع: ۲۲ مرداد ۱۴۰۵