reductio ad absurdum

• eukleides'in ilk olarak elementler'inin 1. cildinin altıncı teoremine ulaşırken kullandığı metottur.
  
  ayrıca principia mathematica'da 2•01 nolu önermede ispatı verilen önerme çeşidi.
  
  eğer p kendini yanlışlıyorsa p yanlıştır. formal gösterim:
  
  (p—›-p)—›-p
  
  ispatı şöyle verilebilir:
  
  eğer p doğru ise p doğrudur: p—›p
  
  eğer p doğru değil ise p doğru değildir: -p—›-p
  
  eğer p doğru ise p doğru değildir: p—›-p
  
  (pv-p)—› p doğru olsun veya olmasın: p yanlıştır -p
  
  önermenin tersi için:
  
  (-p—›p)—›p (buna consequentia mirabilis de denir)
  
  ispatı:
  
  eğer p doğru ise p doğrudur: p—›p
  
  eğer p yanlış değil ise p doğrudur: -p—›p
  
  (pv-p)—› p doğru olsun veya olmasın p doğrudur: p