Consecuencia Lógica

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Relación en la que un conjunto de oraciones garantiza semánticamente la verdad de otra oración en toda interpretación: una relación de consecuencia entre premisas y conclusión a través de todos los modelos de las premisas.