cuando una implicacion es verdadera
Cuando el antecedente es falso y el consecuente es verdadero, la implicación se considera verdadera en lógica matemática. Esto puede resultar un poco sorprendente, pero es una propiedad fundamental de la implicación.