NOCIONES BÁSICAS DE LA LÓGICA:

1) Consecuencia lógica
2) Equivalencia lógica
3) Verdad lógica

1) CONSECUENCIA LÓGICA:

a. Aproximación intuitiva a estas nociones:

Definición intuitiva desde tres concepciones: informatividad, necesidad y imposibilidad.

Siendo P, las premisas de un argumento, y c, la conclusión,

a. Concepción informacional: Para que c sea consecuencia lógica de P, la información

contenida en c debe estar contenida por completo en P. De tal forma que c no añadiría
ninguna información nueva a P.
b. Concepción de la necesidad: Para que c sea consecuencia lógica de P es necesario que
c sea verdadera si todas las proposiciones P también lo son.
c. Concepción de la imposibilidad: Para que c sea consecuencia lógica de P es imposible
que c sea falsa y todas las proposiciones P verdaderas.

Estas definiciones intuitivas son extensionalmente equivalentes, es decir, cualquier argumento

que resulta válido con una de estas tres, también será válida con respecto a las demás.

b. Definición formal de consecuencia lógica:

Siendo L, un lenguaje lógico:

1.1) Validez sintáctica: P1,…Pn-1, cn es válido-en-L syss cn es derivable de P1,…Pn-1, y de los

axiomas de L, si los hay, mediante las reglas de inferencia de L.

1.2) Validez semántica: P1,…Pn-1, cn es válido desde un punto de vista semántico syss cn es
verdadero para todas las interpretaciones que hagan verdaderas a P1,…Pn-1.
 2) EQUIVALENCIA LÓGICA:

Intuitivamente dos formulas son equivalentes si «dicen lo mismo». Así pues, si dos formulas
dicen lo mismo, entonces serán verdaderas o falsas en las mismas circunstancias, es decir no
puede haber una situación en la que una sea verdadera y la otra falsa. Formalmente sería,

DEF . Dos fórmulas  y  son lógicamente equivalentes (y escribimos   ) syssdef para toda I,
I ()= I(). (ejemplos en Diez, J. A, p. 79)

La equivalencia lógica se caracteriza por tres propiedades:

1. Reflexibilidad: 
2. Simetría: si , entonces 
3. Transitividad: Si  y , entonces 

Además, si sustituimos una parte de una formula por otra equivalente la formula resultante es
equivalente a la original pues: (i) el valor de verdad de una fórmula depende del valor de
verdad de sus subfórmulas, (ii) las fórmulas equivalentes tienen el mismo valor de verdad en
cualquier interpretación.

COROLARIO: Para toda , , ,  : si  es una subfórmula de ,    y  es el resultado de

sustituir  por  en , entonces .
 3) VERDAD LÓGICA:

La verdad lógica es una fórmula que es verdadera no “en virtud de como sea el mundo”, sino
en virtud de su forma lógica. Dado el comportamiento semántico de las conectivas, algunas
fórmulas resultan verdaderas independientemente de si sus atómicas constituyentes son
verdaderas o falsas, sólo por estar formadas por esas conectivas de un modo específico. Por lo
tanto, estas fórmulas serán verdaderas bajo cualquier interpretación.

DEF. Una fórmula es una verdad lógica ( y escribimos |= ) syssdef para toda I, I()=1

Para identificar si una fórmula es una verdad lógica podemos utilizar el criterio de
tautologicidad, las tautologías y sólo ellas son verdades lógicas:

COROLARIO: |=  syss  es tautológica (véase ejemplos en la Diaz, J. A, p. 78)

(obsérvese también que las tres nociones se pueden definir entre sí: p. 80)