consequentia mirabilis

• formal gösterimi:
  
  (-p—›p)—›p olan önerme.
  
  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