تلفظ بین المللی : /boːrhˈɑn xˈalaf/ تلفظ : [bo:Rh'An x'alaf]
دانشنامه آزاد فارسی
بُرهان خُلْف(دربرابر برهان مستقیم) در منطق، اثبات مطلوب با ابطال نقیض آن. در این برهان معمولاً قیاسی مرکّب از دو قیاس اقترانی و قیاس استثنایی استفاده می شود. بنیاد این برهان بر اصل «محال بودن اجتماع نقیضین» نهاده است. بر طبق این اصل، اگر نقیض قضیه ای نادرست به شمار آید، ناگزیر اصل آن درست خواهد بود. از آن جا که وجود و ماهیت نقیض یکدیگرند، مثلاً اگر اصالت ماهیت باطل شود، اصالت وجود به طریق برهان خل...
دانشنامه عمومی
برهان خلف یکی از روش های اثبات در برهان و منطق می باشد. این روش اثبات غیر مستقیم نیز نامیده می شود. در روش برهان خلف، برای آنکه ثابت کنیم قضیه ای درست است، ثابت می کنیم که خلاف آن قضیه، یعنی نقیض آن، نادرست و چنین فرضی منجر به تناقض است.برهان خلف معمولاً در اثبات عکس یک قضیه بکار می رود و مورد استفاده در قضیه های دوشرطی است.در زندگی روزمره نیز برهان خلف بسیار استفاده می شود. گاهی برای طنز، گاهی بر...
دانشنامه اسلامی
[ویکی فقه] برهان خلف، یکی از اصطلاحات علم منطق و به معنای برهانی است که در آن مطلوب را با ابطال نقیض آن ثابت می کنند.برهانی که در آن مطلوب را با ابطال نقیض آن ثابت می کنند، در اصطلاح برهان خلف گویند. این قیاس ابتداء متوجه اثبات مطلوب نیست، بلکه توجهش به ابطال نقیض آن است و چون اجتماع نقیضین محال است، از ابطال نقیض هر قضیه، صدق آن قضیه معلوم می شود. پس این نوع برهان از نقیض مطلوب با مقدمه ای غیر مت...
