(Latin for Denial-of-tilstand. ) En inferens regel, der fastslår, at hvis er ' false ' B og en betyder B, en er også falsk. Dette betragtes som en "usikre" tilgang i forhold til modus ponens fordi beviser en negativ er altid svagere end at bevise en positiv.