در اثبات یک قضیه بهجای آنکه از فرض شروع کنیم، از نادرستی حکم شروع میکنیم. این نوع استدلال کدام است؟
در اثبات به طريق برهان خلف از نادرستی حكم استفاده كرده با استدلال استنتاجی به تناقض برخورد میكنيم ناچاراً درستی حكم را قبول میكنيم.