برهان بالتناقض

البرهان بالتناقض هي طريقة للبرهان عن طريق إثبات أن بعض فرضية أو بعض الفرضيات المناقضة للفرضيات المقدمة تؤدي إلى نتائج غير منطقية.

وهو نوع خاص من الصيغة العامة للحجة المعروفة باسم برهان الخلف.

 انظر أيضا 
 برهان الخلف

 ملاحظات 

 مراجع 

تصنيف:مبرهنات في منطق القضايا
تصنيف:براهين
تصنيف:حجج
تصنيف:مناهج البرهان
تصنيف:منطق رياضي