نمایش مبدأ برای مثال نقض

{{بهبود منبع}}

== [[مثال]] نقض ==
به مثالی که کلیّت یک حکم را از بین می‌برد، '''مثال نقض''' می‌گویند. در [[زبان انگلیسی]] به این روش از اثبات "Counterexample" گفته می‌شود.

- با استفاده از مثال نقض، ثابت می‌کنیم که یک حکم همواره درست نیست.

- اگر یک حکم فقط برای یک مثال، نادرست باشد؛ درستی آن حکم نقض می‌شود.

مثالی که نشان می‌دهد یک حکم کلی یا یک ادعا نادرست است را مثال نقض می‌گوییم
در [[منطق]] و به‌طور ویژه در [[ریاضیات]] و [[فلسفه]]، '''مثال نقض''' یا '''پادنمونه''' استثنایی است که در برابر یک حکم کلی بیان می‌شود.

برای مثال، در جملۀ «تمام دانش‌آموزان تنبل هستند» چون تنبلی به ''همۀ'' دانش‌آموزان نسبت داده شده‌است، اگر تنها یک دانش‌آموز پرتلاش وجود داشته باشد، مثال نقض حکم کلی خواهد بود و حکم نادرست است. در واقع با یک مثال حکمی را نقض می‌کنیم که به آن مثال نقض می‌گویند. نکته اینجاست که با مثال می‌توان نقض کرد، ولی با مثال نمی‌توان اثبات کرد که این مورد در [[هندسه]] مثال بسیار دارد.

به مثال‌هایی از این دست دقت بفرمائید ː

مثال ː حاصل‌ضرب هر دو عدد گنگ، عددی گنگ است.

<math>\sqrt2 \times \sqrt 8=\sqrt 16=4 \not\in 
Q^{c}</math>

می‌بینید که [[حاصل‌ضرب]] دو عدد بالا یک [[عدد گویا]] شده‌است، پس می‌توان این حکم کلی را رد کرد. در حقیقت به کمک یک مثال نقض توانستیم نادرستی یک حکم را ثابت کنیم.

مثالː [[تفریق]] دو عدد طبیعی، عددی طبیعی است.

این حکم صحیح نیست؛ زیرا می‌توان به عنوان مثال نقض <math>5-12=-7\not \in \mathbb{N}</math> را عنوان کرد و نادرستی حکم را ثابت کرد.

مثالː <math>\forall x\in \mathbb{R}:x^2\geq x</math>  یا مربع هر عدد بزرگتر یا مساوی آن است.
می توان به عنوان مثال نقض عدد یک دهم را در نظر گرفت که این حکم کلی را نقض می‌کند. <math>x=0.1 \to x^2=0.01 \implies x^2\not \geq x</math>

=== مثال معروف و تاریخی ===
[[پیر دو فرما|فرما]]  ادعا کرده بود که <math>F_n=2^{2^n}+1</math> همواره برابر با [[عدد اول|عددی اول]] است. البته به ازای مقادیر یک و دو سه و چهار همین‌طور است، اما بعداً [[لئونارد اویلر|لئونهارت اویلر]] نشان داد که به ازای <math>n=5 </math> حاصل عدد [https://fr.wikipedia.org/wiki/Nombre_de_Fermat]<math>4 294 967 297</math> خواهد بود که عدد اولی نیست؛ زیرا بر عدد <math>641</math> بخش‌پذیر است. یعنی در واقع این ادعا به کمک یک مثال نقض رد شد.

<math>{F_0} = 3,{F_1} = 5,{F_2} = 17,{F_3} = 257{\rm{,}}{F_4} = 65537</math>

== منابع ==
Bernard R. Gelbaum, John M. H. Olmsted: ''Counterexamples in Analysis''. Corrected reprint of the second (1965) edition, Dover Publications, Mineola, NY 2003, ISBN 0-486-42875-3.

{{ریاضی-خرد}}
{{منطق-خرد}}

[[رده:تفسیر (فلسفه)]]
[[رده:منطق]]
[[رده:شیوه‌های اثبات]]
[[رده:حدس‌های رد شده]]
[[رده:واژگان ریاضیات]]