Hecha esta observación, las reglas de inferencia pueden formularse como sigue: