برهان بالتناقض طريقة قياسية في الفلسفة والمنطق تقوم على إثبات صحة فرضية عبر إظهار أن نفيها أو فرضيات تناقضها تؤدي إلى نتائج متناقضة أو غير منطقية؛ يُعدّ شكلاً خاصاً من برهان الخلف إذ يعتمد على خصم الافتراض المضاد واستنتاج تناقض داخلي يبرر قبول الأصلية.