La primera es el modus ponens, heredada de la lógica proposicional.