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

البرهان بالتناقض ^{[ملاحظة 1]} هي طريقة للبرهان عن طريق إثبات أن بعض فرضية أو بعض الفرضيات المناقضة للفرضيات المقدمة تؤدي إلى نتائج غير منطقية.

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

ملاحظات

ترجمة Proof by contradiction حسب بنك باسم للمصطلحات العلمية؛ مدينة الملك عبد العزيز للعلوم والتقنية، تاريخ الوصول: 05 02 2017.؛ أو برهنة بالتناقض حسب قاموس المعاني؛ أو برهان الخُلف حسب محمد علي التهانوي. موسوعة كشاف اصطلاحات الفنون والعلوم. تحقيق علي دحروج، نقل النص الفارسي إلى العربية عبد الله الخالدي، الترجمة الأجنبية جورج زيناتي. الجزء الثاني. ص. 1901؛ أو البرهان بنقض الفرض reductio ad impossibilem باللاتينية. نسخة محفوظة 10 يناير 2020 على موقع واي باك مشين.