'''برهانالبرهان الخُلفبالتناقض''' <ref group="ملاحظة">ترجمة Proof by contradiction حسب [http://basm.kacst.edu.sa/ViewTerm.aspx?termid=10657 بنك باسم للمصطلحات العلمية]؛ أو '''برهنة بالتناقض''' حسب [http://www.almaany.com/ar/dict/ar-en/proof-by-contradiction/ قاموس المعاني]؛ أو '''برهان الخُلف''' حسب [[محمد علي التهانوي]]. موسوعة [[كشاف اصطلاحات الفنون]] والعلوم. تحقيق علي دحروج، نقل النص الفارسي إلى العربية عبد الله الخالدي، الترجمة الأجنبية جورج زيناتي. الجزء الثاني. ص. [http://books.google.co.ma/books?id=biQNf_eSnucC ۱۹۰۱]</ref>؛ أو '''البرهان بنقض الفرض'''<ref>reductiō reductio ad absurdumimpossibilem باللاتينية.</ref> هي طريقة لل[[برهان]] عن طريق إثبات أن بعض [[فرضية]] أو بعض الفرضيات المناقضة للفرضيات المقدمة تؤدي إلى نتائج غير منطقية.
وهو نوع خاص من الصيغة العامة للحجة المعروفة باسم [[برهان الخلف]].
