Pero dicha regla no es válida en lógica no monotónica, pues una premisa puede derrotar una conclusión que era válida.