برهان خلف: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
برچسب منبع |
کمبود برچسبها: ویرایش همراه ویرایش از وبگاه همراه |
||
خط ۱:
{{منبع بیشتر}}
'''برهان خلف''' یکی از روشهای اثبات در [[برهان (ریاضی)|برهان]] و [[منطق]] میباشد. این [[روش اثبات]] غیر مستقیم نیز
نامیده میشود. در روش برهان خلف، برای آنکه ثابت کنیم قضیهای درست است، ثابت میکنیم که خلاف آن قضیه، یعنی [[نقیض]] آن، نادرست و چنین فرضی منجر به [[تناقض]] است. برهان خلف معمولاً در اثبات عکس یک قضیه بکار میرود و مورد استفاده در [[قضیه دوشرطی|قضیههای دوشرطی]] است.
|