برهان عکس نقیض یکی از روشهای مهم برای اثبات گزارههای شرطی در ریاضیات است. اگر گزارهای به صورت \(P \rightarrow Q\) باشد، عکس نقیض آن \( \lnot Q \rightarrow \lnot P \) است و این دو گزاره از نظر منطقی همارز هستند. بنابراین میتوان به جای اثبات مستقیم گزاره، عکس نقیض آن را اثبات کرد.
در این روش، به جای شروع از فرض \(P\) و رسیدن به \(Q\)، فرض میکنیم \(Q\) نادرست است و نشان میدهیم که در نتیجه \(P\) نیز نمیتواند درست باشد. این روش بهویژه زمانی مفید است که کار با \( \lnot Q \) سادهتر از کار با \(P\) باشد. در این مقاله تعریف دقیق برهان عکس نقیض، رابطه منطقی آن با گزاره اصلی، مراحل اجرای اثبات، تفاوت آن با برهان خلف و چند مثال حلشده بررسی میشود.
درخت زیتون نوعی درخت کوچک از خانواده زیتون (Oleaceae) است. 6 زیرگونه از درختان زیتون و صدها رقم تولید شده از راه پرورش انتخابی وجود دارد. درخت زیتون از سواحل دریای مدیترانه و غرب آسیا سرچشمه می گیرد. به خاطر محبوبیت میوه زیتون، درختان زیتون را می توان در مناطق گرم و معتدل سراسر جهان یافت. زیتون ها آب و هوای گرم و ماندن طولانی مدت در زیر نور خورشید را ترجیح می دهند.
شنیدن جملههایی مانند «میتونی درد زایمان طبیعی رو تحمل کنی؟» یا «برای زایمان طبیعی باید اینقدر درد بکشی تا بچهات بیاد!» باعث میشود بسیاری از خانمهایی که قرار است برای اولینبار زایمان کنند، از زایمان طبیعی بترسند و فراری باشند. خیلی از آنها هم که قرار است با این روش زایمان کنند یا به آن راضی شدهاند، امیدشان به آمپول فشار است تا شاید روند زایمان را سریعتر و دردشان را کمتر کند.