A esta regla hay que sumarle, por supuesto, el modus ponens heredado de la lógica proposicional.