مقدمه
در ریاضیات، بسیاری از قضایا به صورت گزارههای شرطی بیان میشوند؛ یعنی ساختاری مانند «اگر \(P\)، آنگاه \(Q\)». برای اثبات چنین گزارهای همیشه لازم نیست مستقیماً از \(P\) شروع کنیم و به \(Q\) برسیم. گاهی مسیر منطقی سادهتر این است که نادرستی نتیجه را فرض کنیم و نشان دهیم که در این صورت فرض اولیه نیز نمیتواند درست باشد.
این روش برهان عکس نقیض نام دارد. در زبان انگلیسی از اصطلاح Proof by Contrapositive استفاده میشود. ایده اصلی آن بر یک همارزی منطقی بنیادی استوار است: هر گزاره شرطی \(P\rightarrow Q\) با عکس نقیض خود، یعنی \( \lnot Q\rightarrow\lnot P \)، همارز است. بنابراین اثبات یکی از این دو، اثبات دیگری را نیز در پی دارد.
برهان عکس نقیض یکی از روشهای استاندارد اثبات گزارههای شرطی است و در کتابهای آموزش روشهای اثبات، منطق ریاضی و ریاضیات گسسته در کنار اثبات مستقیم و برهان خلف آموزش داده میشود.
برای مطالعه مفاهیم پایه، میتوانید ابتدا گزاره و نقیض گزاره را بررسی کنید.
پیشنیازهای برهان عکس نقیض
برای استفاده درست از برهان عکس نقیض، باید با چند مفهوم ساده از منطق آشنا باشیم: گزاره، گزاره شرطی، نقیض و همارزی منطقی.
گزاره شرطی
گزارهای به شکل
$$
P\rightarrow Q
$$
یک گزاره شرطی است. در این عبارت، \(P\) را فرض یا مقدم و \(Q\) را نتیجه یا تالی مینامیم.
برای مثال، گزاره زیر را در نظر بگیرید:
$$
\text{اگر }n\text{ بر }4\text{ بخشپذیر باشد، آنگاه }n\text{ زوج است.}
$$
در اینجا میتوان نوشت:
$$
P:\;4\mid n
$$
$$
Q:\;2\mid n
$$
نقیض یک گزاره
اگر \(P\) یک گزاره باشد، نقیض آن را با \( \lnot P \) نشان میدهیم. نقیض \(P\) گزارهای است که ارزش صدق آن مخالف ارزش صدق \(P\) است.
برای نمونه، نقیض گزاره «\(n\) زوج است» این است که «\(n\) زوج نیست». برای عدد صحیح، زوج نبودن معادل فرد بودن است؛ بنابراین در این حوزه میتوان نوشت:
$$
\lnot(2\mid n)\equiv 2\nmid n
$$
البته در هر مسئله باید نقیض گزاره را بر اساس دامنه و تعریف دقیق آن تعیین کرد و نباید صرفاً به شکل ظاهری عبارت اکتفا کرد.
تعریف دقیق برهان عکس نقیض
اگر بخواهیم گزاره شرطی
$$
P\rightarrow Q
$$
را ثابت کنیم، میتوان به جای آن گزاره
$$
\lnot Q\rightarrow\lnot P
$$
را ثابت کرد. گزاره دوم عکس نقیض گزاره اول نامیده میشود.
دلیل معتبر بودن این روش آن است که گزاره شرطی و عکس نقیض آن از نظر منطقی همارزند:
$$
P\rightarrow Q\equiv\lnot Q\rightarrow\lnot P
$$
بنابراین اگر \( \lnot Q\rightarrow\lnot P \) درست باشد، \(P\rightarrow Q\) نیز درست است.
در عمل، روش کار چنین است: ابتدا گزاره شرطی موردنظر را مشخص میکنیم، سپس نقیض نتیجه را فرض میکنیم و از آن نشان میدهیم که نقیض فرض اولیه برقرار است.
فرمول اصلی برهان عکس نقیض
مهمترین رابطهای که باید به خاطر سپرد عبارت است از:
$$
\boxed{P\rightarrow Q\equiv\lnot Q\rightarrow\lnot P}
$$
این رابطه به این معنا نیست که \(P\rightarrow Q\) و \( \lnot Q\rightarrow\lnot P \) فقط در برخی شرایط با هم برابرند؛ بلکه این دو گزاره در منطق گزارهها همارزی منطقی دارند.
بنابراین برای اثبات یک گزاره شرطی میتوان یکی از دو مسیر زیر را انتخاب کرد:
$$
P\rightarrow Q
$$
یا:
$$
\lnot Q\rightarrow\lnot P
$$
اگر مسیر دوم از نظر محاسبات یا ساختار استدلال سادهتر باشد، برهان عکس نقیض انتخاب مناسبی است.
برای مطالعه بیشتر درباره مفهوم همارزی منطقی میتوانید به همارزی منطقی مراجعه کنید.
چرا گزاره و عکس نقیض آن همارزند؟
میتوان این موضوع را با تبدیل منطقی گزاره شرطی نشان داد. در منطق، گزاره شرطی با عبارت زیر همارز است:
$$
P\rightarrow Q\equiv\lnot P\lor Q
$$
از طرف دیگر:
$$
\lnot Q\rightarrow\lnot P
\equiv
\lnot(\lnot Q)\lor\lnot P
$$
با استفاده از قانون نقیض مضاعف داریم:
$$
\lnot(\lnot Q)\equiv Q
$$
بنابراین:
$$
\lnot Q\rightarrow\lnot P
\equiv
Q\lor\lnot P
$$
و چون عملگر «یا» جابهجاییپذیر است:
$$
Q\lor\lnot P\equiv\lnot P\lor Q
$$
در نتیجه:
$$
\boxed{P\rightarrow Q\equiv\lnot Q\rightarrow\lnot P}
$$
این همارزی پایه منطقی روش عکس نقیض است.
جدول ارزش و اثبات همارزی عکس نقیض
برای اطمینان بیشتر میتوان همارزی را با جدول ارزش بررسی کرد. چهار حالت ممکن برای \(P\) و \(Q\) وجود دارد.
| \(P\) |
\(Q\) |
\(P\rightarrow Q\) |
\(\lnot Q\) |
\(\lnot P\) |
\(\lnot Q\rightarrow\lnot P\) |
| درست |
درست |
درست |
نادرست |
نادرست |
درست |
| درست |
نادرست |
نادرست |
درست |
نادرست |
نادرست |
| نادرست |
درست |
درست |
نادرست |
درست |
درست |
| نادرست |
نادرست |
درست |
درست |
درست |
درست |
ستونهای \(P\rightarrow Q\) و \( \lnot Q\rightarrow\lnot P \) در تمام حالتها یکسان هستند. بنابراین این دو گزاره از نظر منطقی همارزند.
مراحل انجام برهان عکس نقیض
برای اثبات گزاره شرطی \(P\rightarrow Q\) با عکس نقیض، میتوان از مراحل زیر استفاده کرد:
- گزاره شرطی \(P\rightarrow Q\) را دقیق مشخص کنید.
- نقیض نتیجه، یعنی \( \lnot Q \)، را پیدا کنید.
- نقیض فرض، یعنی \( \lnot P \)، را مشخص کنید.
- به جای گزاره اصلی، گزاره \( \lnot Q\rightarrow\lnot P \) را اثبات کنید.
- از تعریفها، قضایا و استدلالهای معتبر برای رسیدن به \( \lnot P \) استفاده کنید.
- در پایان نتیجه بگیرید که گزاره اصلی \(P\rightarrow Q\) نیز درست است.
نکته مهم این است که برهان عکس نقیض با «فرض نقیض کل گزاره و رسیدن به تناقض» تفاوت دارد. در این روش، ما یک گزاره شرطی همارز را مستقیماً اثبات میکنیم.
مثال حلشده اول: اگر \(n^2\) زوج باشد، \(n\) زوج است
میخواهیم برای هر عدد صحیح \(n\) ثابت کنیم:
$$
n^2\text{ زوج}\rightarrow n\text{ زوج}
$$
اگر بخواهیم از برهان عکس نقیض استفاده کنیم، ابتدا نقیض نتیجه را در نظر میگیریم. نقیض «\(n\) زوج است» یعنی \(n\) زوج نیست. چون \(n\) عدد صحیح است، این عبارت معادل فرد بودن \(n\) است.
بنابراین عکس نقیض گزاره چنین خواهد بود:
$$
n\text{ فرد}\rightarrow n^2\text{ فرد}
$$
اکنون همین گزاره را اثبات میکنیم.
چون \(n\) فرد است، عدد صحیحی مانند \(k\) وجود دارد که:
$$
n=2k+1
$$
بنابراین:
$$
n^2=(2k+1)^2
$$
$$
n^2=4k^2+4k+1
$$
$$
n^2=2(2k^2+2k)+1
$$
پس \(n^2\) به شکل \(2m+1\) نوشته میشود و بنابراین فرد است.
در نتیجه عکس نقیض گزاره ثابت شد:
$$
n\text{ فرد}\rightarrow n^2\text{ فرد}
$$
چون گزاره اصلی و عکس نقیض آن همارزند، نتیجه میگیریم:
$$
\boxed{n^2\text{ زوج}\rightarrow n\text{ زوج}}
$$
این مثال نشان میدهد که گاهی اثبات عکس نقیض بسیار طبیعیتر از اثبات مستقیم است.
مثال حلشده دوم: اگر \(n^2\) بر \(4\) بخشپذیر نباشد، \(n\) فرد است
میخواهیم ثابت کنیم برای هر عدد صحیح \(n\):
$$
4\nmid n^2\rightarrow n\text{ فرد}
$$
عکس نقیض این گزاره چیست؟
نقیض نتیجه «\(n\) فرد است» عبارت است از «\(n\) زوج است». نقیض فرض نیز عبارت است از «\(4\mid n^2\)». بنابراین عکس نقیض برابر است با:
$$
n\text{ زوج}\rightarrow4\mid n^2
$$
حال فرض کنید \(n\) زوج باشد. بنابراین برای یک عدد صحیح \(k\):
$$
n=2k
$$
پس:
$$
n^2=(2k)^2=4k^2
$$
بنابراین:
$$
4\mid n^2
$$
پس عکس نقیض ثابت شده و در نتیجه گزاره اصلی نیز درست است:
$$
\boxed{4\nmid n^2\rightarrow n\text{ فرد}}
$$
مثال حلشده سوم: اگر حاصلضرب دو عدد فرد باشد، هر دو عدد فردند
فرض کنید \(a\) و \(b\) عدد صحیح باشند. میخواهیم ثابت کنیم:
$$
ab\text{ فرد}\rightarrow a\text{ و }b\text{ هر دو فردند}
$$
اثبات مستقیم ممکن است، اما عکس نقیض نیز مسیر بسیار روشنی دارد.
نقیض نتیجه «\(a\) و \(b\) هر دو فردند» این است که حداقل یکی از آنها فرد نباشد؛ یعنی:
$$
a\text{ زوج}\lor b\text{ زوج}
$$
نقیض فرض «\(ab\) فرد است» نیز این است:
$$
ab\text{ زوج}
$$
بنابراین عکس نقیض گزاره چنین است:
$$
a\text{ زوج}\lor b\text{ زوج}\rightarrow ab\text{ زوج}
$$
اگر \(a\) زوج باشد، برای عدد صحیحی مانند \(k\) داریم:
$$
a=2k
$$
در نتیجه:
$$
ab=2kb
$$
پس \(ab\) زوج است.
به همین شکل، اگر \(b\) زوج باشد، آنگاه \(ab\) نیز زوج است. بنابراین اگر دستکم یکی از \(a\) و \(b\) زوج باشد، حاصلضرب آنها زوج خواهد بود.
پس عکس نقیض درست است و نتیجه میگیریم:
$$
\boxed{ab\text{ فرد}\rightarrow a\text{ و }b\text{ هر دو فردند}}
$$
مثال حلشده چهارم: اگر \(x^2\) منفی نباشد، چه نتیجهای میتوان گرفت؟
این مثال نشان میدهد که باید هنگام انتخاب روش، ساختار گزاره را به دقت بررسی کرد. گزارهای مانند
$$
x^2<0\rightarrow x\neq0
$$
را در نظر بگیرید.
عکس نقیض آن:
$$
x=0\rightarrow x^2\geq0
$$
است که اثبات آن بسیار ساده است؛ زیرا اگر \(x=0\)، آنگاه:
$$
x^2=0
$$
و در نتیجه:
$$
x^2\geq0
$$
پس عکس نقیض به ما اجازه میدهد گزارهای را که ممکن است در شکل اولیه آن کمی نامعمول به نظر برسد، از مسیری بسیار کوتاه اثبات کنیم.
مثال حلشده پنجم: یک مثال در نامساویها
برای هر عدد حقیقی \(x\)، ثابت کنید:
$$
x^2-2x-15\geq0
\rightarrow
x\geq5\lor x\leq-3
$$
اثبات مستقیم این گزاره نیازمند بررسی حالتهای مختلف است. عکس نقیض آن سادهتر است.
نقیض نتیجه عبارت «\(x\geq5\lor x\leq-3\)» است. بنابراین:
$$
\lnot(x\geq5\lor x\leq-3)
\equiv
x<5\land x>-3
$$
نقیض فرض نیز:
$$
x^2-2x-15<0
$$
بنابراین باید ثابت کنیم:
$$
-3
عبارت درجه دوم را تجزیه میکنیم:
$$
x^2-2x-15=(x-5)(x+3)
$$
از \(x<5\) داریم:
$$
x-5<0
$$
و از \(x>-3\) داریم:
$$
x+3>0
$$
حاصلضرب یک عدد منفی و یک عدد مثبت منفی است. بنابراین:
$$
(x-5)(x+3)<0
$$
پس:
$$
x^2-2x-15<0
$$
عکس نقیض ثابت شد و در نتیجه:
$$
\boxed{x^2-2x-15\geq0
\rightarrow
x\geq5\lor x\leq-3}
$$
این نمونه نشان میدهد که یکی از مزایای برهان عکس نقیض میتواند تبدیل نقیض یک عبارت «یا» به یک عبارت «و» باشد؛ این تغییر گاهی ساختار مسئله را بسیار سادهتر میکند.
تفاوت برهان عکس نقیض و برهان خلف
برهان خلف و برهان عکس نقیض هر دو از روشهای غیرمستقیم اثبات هستند، اما از نظر ساختار استدلال یکسان نیستند.
فرض کنید هدف اثبات گزاره شرطی زیر باشد:
$$
P\rightarrow Q
$$
در برهان عکس نقیض، گزاره همارز زیر را مستقیماً اثبات میکنیم:
$$
\lnot Q\rightarrow\lnot P
$$
اما در برهان خلف، نقیض کل گزاره را فرض میکنیم. نقیض گزاره شرطی برابر است با:
$$
\lnot(P\rightarrow Q)\equiv P\land\lnot Q
$$
سپس از \(P\land\lnot Q\) به تناقض میرسیم.
| روش |
شروع استدلال |
هدف |
| اثبات مستقیم |
\(P\) |
رسیدن به \(Q\) |
| برهان عکس نقیض |
\(\lnot Q\) |
رسیدن به \(\lnot P\) |
| برهان خلف |
\(P\land\lnot Q\) |
رسیدن به تناقض |
بنابراین مهمترین تفاوت این است که در عکس نقیض، مقصد استدلال از ابتدا مشخص است: باید \( \lnot P \) را ثابت کنیم. در برهان خلف، مقصد رسیدن به تناقض است.
برهان عکس نقیض در مقایسه با اثبات مستقیم
در اثبات مستقیم گزاره \(P\rightarrow Q\)، فرض میکنیم \(P\) برقرار است و با استفاده از استدلالهای معتبر \(Q\) را نتیجه میگیریم:
$$
P\rightarrow Q
$$
در عکس نقیض، همان گزاره را از مسیر زیر اثبات میکنیم:
$$
\lnot Q\rightarrow\lnot P
$$
هیچکدام از این دو روش از نظر منطقی بر دیگری برتری ندارد. انتخاب روش مناسب به ساختار مسئله بستگی دارد. در بسیاری از مسائل، یکی از دو مسیر بسیار کوتاهتر یا طبیعیتر از دیگری است.
چه زمانی برهان عکس نقیض انتخاب مناسبی است؟
برهان عکس نقیض معمولاً زمانی ارزشمند است که نقیض نتیجه، اطلاعات سادهتر یا قابلاستفادهتری نسبت به فرض اصلی در اختیار ما قرار دهد.
- وقتی نقیض نتیجه شکل سادهتری از نتیجه اصلی دارد.
- وقتی نقیض فرض بهسادگی از نقیض نتیجه قابل استخراج است.
- وقتی گزاره اصلی با ویژگیهای زوج و فرد، بخشپذیری یا نامساویها سروکار دارد.
- وقتی اثبات مستقیم مستلزم محاسبات پیچیدهتری است.
- وقتی ساختار نقیض نتیجه به یک تعریف یا قضیه شناختهشده منتهی میشود.
منابع آموزشی دانشگاهی نیز بر این نکته تأکید میکنند که عکس نقیض گاهی نسبت به گزاره اصلی نقطه شروع مناسبتری فراهم میکند و در بسیاری از مسائل میتواند اثبات را سادهتر کند.
چه زمانی بهتر است از عکس نقیض استفاده نکنیم؟
برهان عکس نقیض یک ابزار است، نه یک الزام. اگر اثبات مستقیم کوتاهتر، شفافتر و آموزشیتر باشد، معمولاً استفاده از آن انتخاب بهتری است.
همچنین باید توجه داشت که عکس نقیض فقط برای گزارههای شرطی به کار میرود. اگر گزاره موردنظر ساختار شرطی نداشته باشد، نمیتوان صرفاً با جابهجا کردن نقیضها آن را «عکس نقیض» نامید.
اشتباهات رایج در برهان عکس نقیض
۱. اشتباه گرفتن عکس نقیض با عکس گزاره
اگر گزاره اصلی این باشد:
$$
P\rightarrow Q
$$
عکس نقیض آن:
$$
\lnot Q\rightarrow\lnot P
$$
است؛ نه:
$$
Q\rightarrow P
$$
عبارت \(Q\rightarrow P\) عکس گزاره است و به طور کلی همارز گزاره اصلی نیست.
۲. اشتباه گرفتن عکس نقیض با معکوس
معکوس گزاره \(P\rightarrow Q\) برابر است با:
$$
\lnot P\rightarrow\lnot Q
$$
در حالی که عکس نقیض برابر است با:
$$
\lnot Q\rightarrow\lnot P
$$
این دو عبارت را نباید با یکدیگر اشتباه گرفت.
۳. نقیض کردن اشتباه گزاره
هنگام ساختن عکس نقیض باید ابتدا نتیجه \(Q\) را نقیض کنیم و سپس فرض \(P\) را نقیض کنیم. ترتیب منطقی عکس نقیض چنین است:
$$
P\rightarrow Q
\quad\Longrightarrow\quad
\lnot Q\rightarrow\lnot P
$$
۴. استفاده از عکس نقیض برای یک گزاره غیرشرطی
این روش بهطور استاندارد برای گزارههای شرطی به کار میرود. بنابراین ابتدا باید ساختار گزاره را شناسایی کنیم.
۵. فرض کردن نقیض نتیجه و سپس رسیدن به تناقض
اگر \(P\rightarrow Q\) را با عکس نقیض اثبات میکنیم، لازم نیست صرفاً \( \lnot Q \) را فرض کنیم و سپس دنبال تناقض بگردیم. هدف این است که از \( \lnot Q \) به \( \lnot P \) برسیم.
اگر هدف رسیدن به تناقض باشد، روش مورد استفاده به برهان خلف نزدیک میشود و باید ساختار آن را با دقت از عکس نقیض تفکیک کرد.
تفاوت عکس نقیض، معکوس و عکس گزاره
برای گزاره شرطی
$$
P\rightarrow Q
$$
چهار عبارت مهم وجود دارد:
| نوع عبارت |
فرم منطقی |
رابطه با گزاره اصلی |
| گزاره اصلی |
\(P\rightarrow Q\) |
— |
| عکس |
\(Q\rightarrow P\) |
به طور کلی همارز نیست |
| معکوس |
\(\lnot P\rightarrow\lnot Q\) |
به طور کلی همارز نیست |
| عکس نقیض |
\(\lnot Q\rightarrow\lnot P\) |
همارز منطقی است |
بنابراین اگر هدف اثبات یک گزاره شرطی باشد، فقط عکس نقیض آن میتواند بدون فرض اضافی جایگزین گزاره اصلی شود.
رابطه عکس نقیض با برهان خلف
ارتباط این دو روش از نظر منطقی بسیار نزدیک است، اما یکسان نیستند. برای گزاره \(P\rightarrow Q\)، نقیض کل گزاره چنین است:
$$
\lnot(P\rightarrow Q)\equiv P\land\lnot Q
$$
در برهان خلف، همین نقیض کل گزاره را فرض میکنیم و به تناقض میرسیم.
در عکس نقیض، به جای آن، گزاره همارز
$$
\lnot Q\rightarrow\lnot P
$$
را مستقیماً اثبات میکنیم.
در نتیجه، ممکن است یک استدلال را بتوان با تغییرات جزئی در قالب عکس نقیض یا خلف نوشت؛ اما از نظر روششناسی، این دو الگو را باید جداگانه شناخت.
نقش نقیض در برهان عکس نقیض
یکی از مهمترین مهارتها در این روش، توانایی پیدا کردن نقیض دقیق گزارههاست. برای مثال:
$$
\lnot(P\land Q)\equiv\lnot P\lor\lnot Q
$$
و:
$$
\lnot(P\lor Q)\equiv\lnot P\land\lnot Q
$$
این روابط که به قوانین دمورگان مربوط هستند، هنگام ساختن عکس نقیض گزارههای پیچیده بسیار مهماند.
برای گزارههای دارای کمیتنما نیز باید دقت بیشتری داشت. برای نمونه:
$$
\lnot(\forall x\,P(x))
\equiv
\exists x\,\lnot P(x)
$$
و:
$$
\lnot(\exists x\,P(x))
\equiv
\forall x\,\lnot P(x)
$$
بنابراین در مسائل پیشرفته، ساختن عکس نقیض بدون توجه به ساختار منطقی کامل گزاره میتواند به یک استدلال نادرست منجر شود.
برای مطالعه بیشتر درباره این موضوع میتوانید به کمیتنماها و نقیض گزارههای دارای کمیتنما مراجعه کنید.
فرم استاندارد نوشتن برهان عکس نقیض
هنگام نوشتن یک اثبات رسمی، میتوان از الگوی زیر استفاده کرد:
$$
\begin{aligned}
&\text{میخواهیم }P\rightarrow Q\text{ را ثابت کنیم.}\\
&\text{به جای آن، عکس نقیض را ثابت میکنیم.}\\
&\text{فرض کنید }\lnot Q\text{ برقرار باشد.}\\
&\text{با استفاده از تعریفها و قضایا نشان میدهیم }\lnot P\text{ برقرار است.}\\
&\therefore \lnot Q\rightarrow\lnot P.\\
&\therefore P\rightarrow Q.
\end{aligned}
$$
این الگو باید با استدلال واقعی تکمیل شود. صرف نوشتن عبارت «عکس نقیض را ثابت میکنیم» جایگزین اثبات نیست.
برهان عکس نقیض و مثال نقض
برهان عکس نقیض را نباید با مثال نقض اشتباه گرفت.
مثال نقض برای رد یک گزاره کلی استفاده میشود. اگر گزارهای ادعا کند:
$$
\forall x\in D,\;P(x)
$$
کافی است یک نمونه \(x_0\) پیدا کنیم که:
$$
\lnot P(x_0)
$$
اما در برهان عکس نقیض، هدف رد کردن گزاره نیست؛ بلکه برای اثبات یک گزاره شرطی \(P\rightarrow Q\)، گزاره همارز \( \lnot Q\rightarrow\lnot P \) را اثبات میکنیم.
مزایای برهان عکس نقیض
- در بسیاری از مسائل مسیر استدلال را سادهتر میکند.
- برای قضایای مربوط به زوج و فرد بودن بسیار کاربردی است.
- در مسائل بخشپذیری و نظریه اعداد ابزار مؤثری است.
- گاهی نقیض نتیجه اطلاعات بسیار مناسبتری برای شروع اثبات فراهم میکند.
- از نظر منطقی کاملاً معتبر است، زیرا با گزاره اصلی همارز است.
- به تشخیص ساختار منطقی یک گزاره و نقیض دقیق آن کمک میکند.
محدودیتهای برهان عکس نقیض
با وجود مزایای آن، عکس نقیض همیشه بهترین روش نیست. اگر \(P\) مستقیماً به \(Q\) منجر شود، اثبات مستقیم ممکن است سادهتر باشد. همچنین اگر نقیض نتیجه بسیار پیچیده شود، استفاده از عکس نقیض ممکن است به جای سادهسازی، اثبات را دشوارتر کند.
بنابراین یک روش مناسب این است که پیش از شروع اثبات، دستکم دو مسیر را روی کاغذ بررسی کنیم: اثبات مستقیم و عکس نقیض. سپس مسیری را انتخاب کنیم که فرض اولیه و هدف نهایی آن روشنتر باشد.
نکات مهم برای حل مسائل با برهان عکس نقیض
- ابتدا مشخص کنید گزاره واقعاً از نوع \(P\rightarrow Q\) است.
- نقیض \(Q\) را دقیق پیدا کنید.
- نقیض \(P\) را نیز دقیق مشخص کنید.
- فرم کامل عکس نقیض را بنویسید:
\( \lnot Q\rightarrow\lnot P \).
- قبل از شروع محاسبات بررسی کنید آیا این مسیر از اثبات مستقیم سادهتر است.
- در طول اثبات فقط از فرضهای مجاز و قضایای معتبر استفاده کنید.
- در پایان صریحاً بیان کنید که عکس نقیض ثابت شده و بنابراین گزاره اصلی نیز ثابت است.
یک روش سریع برای تشخیص عکس نقیض
برای جلوگیری از اشتباه میتوان از یک قاعده ساده استفاده کرد: در گزاره شرطی، جای \(P\) و \(Q\) را عوض نکنید؛ بلکه جای آنها را عوض کرده و هر دو را نقیض کنید.
یعنی:
$$
P\rightarrow Q
$$
تبدیل میشود به:
$$
\lnot Q\rightarrow\lnot P
$$
بنابراین ابتدا \(Q\) به \( \lnot Q \) تبدیل میشود و در جای فرض قرار میگیرد؛ سپس \(P\) به \( \lnot P \) تبدیل میشود و در جای نتیجه قرار میگیرد.
جمعبندی
برهان عکس نقیض روشی برای اثبات گزارههای شرطی است که در آن به جای اثبات مستقیم \(P\rightarrow Q\)، گزاره همارز
$$
\lnot Q\rightarrow\lnot P
$$
را اثبات میکنیم.
پایه منطقی این روش رابطه زیر است:
$$
\boxed{P\rightarrow Q\equiv\lnot Q\rightarrow\lnot P}
$$
این روش بهویژه زمانی مفید است که نقیض نتیجه سادهتر از نتیجه اصلی باشد یا از نقیض نتیجه بتوان بهسادگی نقیض فرض را نتیجه گرفت.
مهمترین نکته در استفاده از این روش، تشخیص درست تفاوت میان عکس، معکوس و عکس نقیض است. برای گزاره \(P\rightarrow Q\)، تنها عکس نقیض یعنی \( \lnot Q\rightarrow\lnot P \) است که از نظر منطقی همارز گزاره اصلی است.
همچنین نباید برهان عکس نقیض را با برهان خلف یکی دانست. در عکس نقیض، گزاره همارز را مستقیماً اثبات میکنیم؛ در برهان خلف، نقیض گزاره را فرض کرده و به تناقض میرسیم.
موضوعات مرتبط
برای مطالعه منظم روشهای اثبات و مفاهیم منطقی مرتبط، موضوعات زیر پیشنهاد میشوند:
منابع
تاریخ بررسی منابع: ۲۲ مرداد ۱۴۰۵
منابع کتابی
-
Richard Hammack، Book of Proof، ویرایش سوم، 2018، بخش 5: Contrapositive Proof، Virginia Commonwealth University.
-
Daniel J. Velleman، How to Prove It: A Structured Approach، ویرایش دوم، Cambridge University Press، 2006.
-
Gary Chartrand، Albert D. Polimeni، Ping Zhang، Mathematical Proofs: A Transition to Advanced Mathematics، ویرایش چهارم، Pearson، 2018.
-
Kenneth H. Rosen، Discrete Mathematics and Its Applications، ویرایش هشتم، McGraw-Hill Education، 2019.
منابع دانشگاهی و آموزشی
-
Margaret Fleck، University of Illinois، Discrete Structures: Proof by Contradiction. این منبع تمایز میان اثبات عکس نقیض و برهان خلف را توضیح میدهد.
-
University of Illinois، CS 173، Proofs 2. این منبع همارزی گزاره شرطی و عکس نقیض آن و نمونههای کاربردی عکس نقیض را بررسی میکند.
-
Richard Hammack، Book of Proof، نسخه رسمی آنلاین نویسنده، فصلهای مربوط به Contrapositive Proof و Proof by Contradiction.
-
Mathematical Association of America، بررسی کتاب Book of Proof اثر Richard Hammack.