برهان خلف: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جز r2.7.2) (ربات: اصلاح ar:برهان خلف, en:Reductio ad absurdum, ru:Приведение к абсурду |
جز ربات ردهٔ همسنگ (۲۳) +مرتب(۳.۸): + رده:قضیهها در حساب گزارهای |
||
خط ۸:
به این ترتیب که از صورت سوال قسمت اول را بهعنوان فرض و قسمت دوم که باید اثبات شود را بهعنوان حکم در نظر میگیریم. در مرحله بعدی، که باید حکم را اثبات نمائیم، در جهت عکس آن یعنی در جهت اثبات خلاف حکم حرکت میکنیم. از این طریق اگر ما به تناقض با فرض صورت مسئله برسیم به این نتیجه خواهیم رسید که غلط بودن حکم مسئله اشتباه است. پس حکم درست میباشد. به این نوع روش اثبات، برهان خلف گفته میشود.
== استدلال برهان خلف ==
سطر ۴۴ ⟵ ۴۳:
== منابع ==
{{پانویس}}
المنطق، محمد رضا مظفر، بحث قیاس خلف
[[رده:برهانها]]
[[رده:برهانهای ریاضیات]]
[[رده:قضیهها در حساب گزارهای]]
[[رده:قواعد استنتاج]]
|