(Latijn voor denial-of-modus. ) Een gevolgtrekking regel die bepaalt dat als false B en een betekent B, een ook valse is. Dit wordt beschouwd als een 'onveilige' aanpak in vergelijking met modus ponens omdat bewijzen een negatief is altijd zwakker dan een positieve bewijzen.