Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
LÓG.
Concepto fundamental de la lógica, relacionado con el de deducibilidad (ver ejemplo),'que define la propiedad esencial de los razonamientos válidos y de las formas válidas de razonar.
Definida sintácticamente, una fórmula cualquiera B es una consecuencia lógica de un conjunto ) de fórmulas, si B es deducible a partir del conjunto ).
Definida semánticamente, una fórmula B es una consecuencia lógica de un conjunto ) de fórmulas si toda asignación o interpretación que hace verdadero al conjunto ) hace también verdadera a la fórmula B.
son correlativas, de modo que:
La consecuencia lógica entre enunciados o fórmulas de enunciado supone que la forma de la argumentación es válida, de modo que, sea cual sea la interpretación o asignación de valor que se da a sus términos o letras de enunciado, la verdad se transmite de las premisas a la conclusión: si las premisas son verdaderas la conclusión ha de ser verdadera.