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

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

این کهکشان کاملا تاریک است و به همین دلیل برای دهه‌ها از نظرها به دور مانده است. در حال حاضر تیم پژوهشی که پشت این کشف جالب قرار دارند، پی برده‌اند که چرا این کهکشان با داشتن چنین کمبود ستاره‌ای، از هم متلاشی نمی‌شود. نکته‌ی کلیدی این است که ۹۹.۹۹ درصد این کهکشان از ماده‌ی تاریک ساخته شده است.
 

در شهر پاریس كبوترها بدون هیچ نگرانی ای در پیاده روها كنار مردم راه می روند. این پرندگان كه سال ها است كسی مزاحم آنها نمی شود به قدری از بابت مردمی كه به حفاظت از محیط زیست بها می دهند مورد ملاطفت قرار گرفته اند كه به نظر می رسد دیگر حتی پرواز كردن را فراموش كرده اند و  گاهی خودشان به معضلی برای شهرداری تبدیل می شوند. البته بحران محیط زیست ناشی از آلودگی هوای این شهر نیز به گونه ای نیست كه پرندگان را از آن فراری دهد.

غنی‌سازی اورانیوم عملی است که به‌واسطهٔ آن در یک تودهٔ اورانیوم طبیعی مقدار ایزوتوپ ۲۳۵U بیشتر شود و مقدار ایزوتوپ ۲۳۸U کم‌تر گردد. غنی‌سازی اورانیوم یکی از مراحل چرخه سوخت هسته‌ای است.