(Lat. popretie režime. ) Záver pravidlo, ktoré uvádza, že ak je false B a znamená B, potom je tiež falošné. Je to považované za "nebezpečné" v porovnaní s modus ponens, pretože ukázala negatívna je vždy slabšie než preukazujú pozitívny prístup.