(Modo afirmativo en latín. ) Una regla de inferencia que afirma que si A es verdadero, y una implica B, y B también es cierto.