Glosario Enunciados de lógica / Término
Esta expresión se coloca entre enunciados (si p, entonces q) y no es más que la conectiva que los relaciona (g).
Cuando un condicional es lógicamente verdadero, se puede decir que su antecedente implica su consecuente.
Enlace permanente: Implicación condicional - Fecha de creación: 2014-02-07