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

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

آناناس گیاهی است که به خانواده برومیلید (bromeliad) تعلق دارد. بر خلاف دیگر اعضای این خانواده، آناناس میوه ای خوراکی و خوشمزه است.
آناناس یک میوه گرمسیری است. منشأ آناناس از آمریکای جنوبی است. در اصل از منطقه بین جنوب برزیل و پاراگوئه سرچشمه گرفته است.

طبق اعلام ایلان ماسک، طی مأموریت بعدی اسپیس‌ایکس که روز ۳۰ ژانویه (۱۱ بهمن) انجام خواهد شد، فالکون 9 یکی از ماهواره‌های EchoStar را با استفاده از آخرین راکت یک‌بارمصرف این کمپانی به مقصد خواهد رساند. این راکت در مرحله‌ی اول خود سوخت بسیار زیادی برای فرود مصرف می‌کند؛ چرا که جرم ماهواره بسیار زیاد و معادل ۵.۴ تن است. از این‌رو اسپیس‌ایکس برای پرتاب محموله‌های سنگین آینده از راکت‌هایی با عملکرد بهتر Falcon Heavy‌ یا فالکون ۹ ارتقاءیافته موسوم به Block 5 استفاده خواهد کرد و از این‌رو مشکلی از لحاظ جرم محموله نخواهد داشت. به گفته‌ی ماسک فالکون جدید تا پایان سال ۲۰۱۷ آماده‌ی پرتاب خواهد بود.