Lenguaje formal L de enunciados

Definición 1. Los símbolos de nuestro lenguaje formal son únicamente los siguientes:
Letras de enunciado: Las letras mayúsculas del alfabeto con o sin subíndices.
Constantes lógicas: Los símbolos , , ,  y .
Signos de agrupación: ‘)’ y ‘(’.

Definición 2. Una expresión del lenguaje formal es cualquier sucesión finita de símbolos
del mismo. Por ejemplo, ‘P (’ es una expresión.

Definición 3. Las letras de enunciado son fórmulas atómicas.

Definición 4.
a) Las fórmulas atómicas son fórmulas bien formadas (o simplemente fórmulas).
Reglas de
formación

b) Si  y  son fórmulas, también lo son , , ,  y .

c) Únicamente son fórmulas las que satisfagan a) o b).

Definición 5. Llamaremos conectivos lógicos a las constantes lógicas: negación ( ),

disyunción (), conjunción (), condicional () y bicondicional ().

Definición 6. Definimos los conectivos negación, disyunción, conjunción, condicional

y bicondicional mediante las tablas de verdad:

       

V F V V V V V V
F V V F V F F F
F V V F V F
F F F F V V

Definición 7. El conectivo principal de una fórmula es aquel que en la construcción

de  a partir de las fórmulas atómicas se escribe en último término.

1
Definición 8. Una interpretación para L es una asignación de valores de verdad a todas
las letras de enunciado de L. Tal asignación puede ser representada por medio de una
función

I: C → {V, F}

donde C es el conjunto de letras de enunciado de L. Si P es una letra de enunciado de

L, I(P)  V quiere decir que la letra P está interpretándose como un enunciado
verdadero e I(P)  F quiere decir que la letra P está interpretándose como un
enunciado falso.

Definición 9. Una fórmula  de L es una tautología si es verdadera bajo cualquier

interpretación, es decir, si I()V para cualquier interpretación de L.

Definición 10. Un enunciado es tautológico si resulta de una tautología por la

substitución de sus fórmulas atómicas por enunciados, reemplazando una letra de
enunciado cada vez que aparezca por la misma proposición.

Proposición 1
(1) Si  es una tautología entonces también lo es (), para cualquier fórmula  de L.

(2) Si  es una tautología entonces no lo es.

(3) Del hecho de que una fórmula  sea una tautología no se sigue que () lo sea.

Definición 11. Una fórmula de L es una contradicción formal si es falsa bajo cualquier
interpretación para L.

Proposición 2. Una fórmula  es una tautología si y sólo si  es una contradicción.

Definición 12. Una fórmula de L es contingente si es verdadera bajo alguna

interpretación de L y falsa bajo otra.

Definición 13. Dos fórmulas de L son lógicamente equivalentes si cualquier

interpretación para L les asigna el mismo valor de verdad. Denotamos dicha
equivalencia con la expresión ‘ ’.

2
Proposición 3. Sean  y dos fórmulas de L. Entonces  si y sólo si () es una
tautología.

Definición 14. Un argumento en L es correcto si no existe ninguna interpretación para L

bajo la cual todas las premisas sean verdaderas y la conclusión falsa.

Definición 15. Un conjunto de fórmulas de L es consistente si existe alguna

interpretación I para L tal que I()V para toda fórmula  de .

Corolario. Un conjunto  de enunciados es inconsistente si no existe ninguna

interpretación para L bajo la cual todos los enunciados de  sean verdaderos.

Proposición 4. Si  es un conjunto consistente de fórmulas y  está contenido en 

entonces  es consistente.

Proposición 5. Una fórmula  de L es una tautología si y sólo si {} es inconsistente.

Proposición 6. Una fórmula  de L es contingente si y sólo si tanto {} como {} son
consistentes.

Proposición 7. Dos fórmulas  y  son lógicamente equivalentes si y sólo si tanto {, }
como {, } son inconsistentes.

Definición 16. Dado un argumento cualquiera definimos su conjunto contraejemplo

como el conjunto que tiene como elementos a las hipótesis del argumento y a la
negación de la conclusión.

Proposición 8. Un argumento es correcto si y sólo si conjunto contraejemplo es

inconsistente.