(Modo de negación en latín. ) Una regla de inferencia que afirma que si es falso B y una implica B, luego una es también falsa. Es considerado un enfoque "inseguro" en comparación con el modus ponens porque demostrando un negativo siempre es más débil que demostrando un positivo.