برهان خلف: تفاوت میان نسخه‌ها

محتوای حذف‌شده محتوای افزوده‌شده
JAnDbot (بحث | مشارکت‌ها)
JYBot (بحث | مشارکت‌ها)
خط ۸:
 
به این ترتیب که از صورت سوال قسمت اول را به‌عنوان فرض و قسمت دوم که باید اثبات شود را به‌عنوان حکم در نظر می‌گیریم. در مرحله بعدی، که باید حکم را اثبات نمائیم، در جهت عکس آن یعنی در جهت اثبات خلاف حکم حرکت می‌کنیم. از این طریق اگر ما به تناقض با فرض صورت مسئله برسیم به این نتیجه خواهیم رسید که غلط بودن حکم مسئله اشتباه است. پس حکم درست می‌باشد. به این نوع روش اثبات، برهان خلف گفته می‌شود.
 
 
== استدلال برهان خلف ==
سطر ۴۴ ⟵ ۴۳:
 
== منابع ==
{{پانویس}}
المنطق، محمد رضا مظفر، بحث قیاس خلف
 
[[رده:برهان‌ها]]
[[رده:برهان‌های ریاضیات]]
[[رده:قضیه‌ها در حساب گزاره‌ای]]
[[رده:قواعد استنتاج]]