Démonstration par l’absurde

البرهان بالخلف

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