(Latinsky popírání režimu. ) Pravidlo odvození, které uvádí, že pokud je falešný B a A znamená B, A je také falešné. Je považován za "nebezpečné" přístup, neboť ukazuje negativní je vždy slabší než ukazuje pozitivní v porovnání s modus ponens.