مثال نقض نمونه‌ای مشخص است که نشان می‌دهد یک گزاره کلی یا یک گزاره شرطی نمی‌تواند در همه موارد درست باشد. اگر گزاره‌ای ادعا کند که برای هر عضو از یک مجموعه، شرط خاصی برقرار است، پیدا کردن حتی یک مورد که شرایط فرض را داشته باشد اما نتیجه را نقض کند، برای رد آن گزاره کافی است. بنابراین مثال نقض یکی از ابزارهای مهم در بررسی و رد حدس‌های ریاضی است.

در این مقاله با تعریف دقیق مثال نقض، رابطه آن با گزاره‌های کلی و شرطی، روش پیدا کردن مثال نقض، تفاوت مثال نقض با یک مثال معمولی، و چند نمونه حل‌شده از جبر، نظریه اعداد و مجموعه‌ها آشنا می‌شوید.

برهان عکس نقیض یکی از روش‌های مهم برای اثبات گزاره‌های شرطی در ریاضیات است. اگر گزاره‌ای به صورت \(P \rightarrow Q\) باشد، عکس نقیض آن \( \lnot Q \rightarrow \lnot P \) است و این دو گزاره از نظر منطقی هم‌ارز هستند. بنابراین می‌توان به جای اثبات مستقیم گزاره، عکس نقیض آن را اثبات کرد.

در این روش، به جای شروع از فرض \(P\) و رسیدن به \(Q\)، فرض می‌کنیم \(Q\) نادرست است و نشان می‌دهیم که در نتیجه \(P\) نیز نمی‌تواند درست باشد. این روش به‌ویژه زمانی مفید است که کار با \( \lnot Q \) ساده‌تر از کار با \(P\) باشد. در این مقاله تعریف دقیق برهان عکس نقیض، رابطه منطقی آن با گزاره اصلی، مراحل اجرای اثبات، تفاوت آن با برهان خلف و چند مثال حل‌شده بررسی می‌شود.