Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.

No se ha añadido ninguna twiki todavía.

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.



764b.gif

son correlativas, de modo que:

764c.gif

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.