El mismo a veces es formalizado por medio de la siguiente regla de inferencia: