La lógica por defecto apunta a la formalización de las reglas de inferencia como esta sin mencionar explícitamente todas sus excepciones.