Glosario Enunciados de lógica / Término
Esta expresión se coloca entre fórmulas lógicas. Cuando decimos que un esquema implica a otro, estamos diciendo que, suponiendo que el primero sea verdadero, la estructura de ambos garantiza que el segundo también lo es.
Enlace permanente: Implicación lógica - Fecha de creación: 2014-02-07