برهان عکس نقیض یکی از روشهای مهم برای اثبات گزارههای شرطی در ریاضیات است. اگر گزارهای به صورت \(P \rightarrow Q\) باشد، عکس نقیض آن \( \lnot Q \rightarrow \lnot P \) است و این دو گزاره از نظر منطقی همارز هستند. بنابراین میتوان به جای اثبات مستقیم گزاره، عکس نقیض آن را اثبات کرد.
در این روش، به جای شروع از فرض \(P\) و رسیدن به \(Q\)، فرض میکنیم \(Q\) نادرست است و نشان میدهیم که در نتیجه \(P\) نیز نمیتواند درست باشد. این روش بهویژه زمانی مفید است که کار با \( \lnot Q \) سادهتر از کار با \(P\) باشد. در این مقاله تعریف دقیق برهان عکس نقیض، رابطه منطقی آن با گزاره اصلی، مراحل اجرای اثبات، تفاوت آن با برهان خلف و چند مثال حلشده بررسی میشود.
"ماهواره بر سفیر2" موشک حامل ماهواره از کلاس سبک است که میتواند ماهواره ای سبک را در مدار LEO قرار دهد.
روزی 5 دلار پس انداز کنید
اگر می خواهید یک میلیون دلار بدست بیاورید, روزی 5 دلار در یک حساب بانکی بگذارید. معامله بزرگی نیست, امروزه در بسیاری از جاها یک پاکت سیگار 5 دلار هزینه دارد. شما پولتان را در یک حساب می گذارید, که مانند یک صندوق انباشته عمل می کند که هر سال به شما بهره متوسط 10 درصدی و فوری می دهد. در مدت 42 سال شما یک میلیون دلار دارید. چه چیزی می تواند ساده تر از این باشد؟
مشکل این جاست که چه کسی می خواهد 42 سال منتظر بماند؟ این مدت بسیار طولانی است. اگر بخواهید فرایند را کوتاه کرده و یک میلیون دلار را ظرف چند سال به دست آورید چه می کنید؟ در آمریکا در واقع تنها یک راه برای انجام آن وجود دارد .
گرم شدن آب و هوا بر روی محصولات كشاورزی تأثیر می گذارد. این در حالی است كه خود کشاورزی صنعتی یک عامل اصلی در انتشار گازهای گلخانه ای و تغییرات آب و هوایی است. كشاورزی صنعتی در هر مرحله از تولید از تولید کود و آفت کش ها گرفته تا برداشت، پردازش، بسته بندی و حمل و نقل و نیز در صنایع غذایی به سوخت های فسیلی بستگی دارد. به این ترتیب سیستم غذایی ما گازهای گلخانه ای را به میزان وسیعی منتشر می كند.
در دنیای علم، واژه "جریان" یا "Current" به حرکت و شارش یک ماده یا حامل اشاره دارد. اما نکته مهم این است که تعریف دقیق این واژه، بسته به زمینهای که در آن به کار میرود، متغیر است. به عبارت دیگر، درک مفهوم جریان، نیازمند توجه به بستری است که این واژه در آن استفاده میشود. در ادامه به بررسی انواع جریان در حوزههای مختلف علمی میپردازیم.
جواب یک معادله معمولاً چند عدد مشخص است، اما جواب یک نامعادله اغلب یک یا چند بازه از اعداد حقیقی است. این مقاله نقشهی کامل مبحث نامعادلات است: قواعد پایه (بهویژه برعکسشدن جهت نامساوی هنگام ضرب در عدد منفی)، روش جدول تعیین علامت که تقریباً همهی نامعادلات به آن ختم میشوند، و معرفی شش نوع اصلی نامعادله با یک مثال کوتاه برای هرکدام.