Tautología y equivalencia lógicas

Asignatura: Lógica y Argumentación

Semestre 2018-B
Sesión 10
 Lenguaje formal L de enunciados
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.
Una función es una regla que asocia cada elemento del conjunto izquierdo (C) con un y sólo un
elemento del conjunto derecho ({V, F}), es decir, asocia cada letra de enunciado con un valor de verdad.
 Lenguaje formal L de enunciados
Proposición 1
Si  es una tautología entonces también lo es (), para cualquier fórmula  de L.
Si  es una tautología entonces no lo es.
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 ‘  ’.

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

tautología.
 Equivalencias lógicas

Algunas propiedades estructurales Eliminación de la negación externa

de los conectivos (muy útil en los árboles de verdad)
()) 
()) ()()
(γ))(()γ)) ())
(γ)))γ)) )()
))()) ()(()))
()(()())
()()
 Ejercicios (pág. 42)
1. ¿Qué es una tautología? Dar tres ejemplos.
2. ¿Qué es una contradicción formal? Dar ejemplos.
3. ¿Qué es una fórmula contingente?
4. ¿Cuándo decimos que dos fórmulas son lógicamente equivalentes?
5. Dadas las fórmulas de la izquierda, escribir a su derecha una fórmula
equivalente conteniendo los conectivos que allí se especifican.
Por ejemplo:
(PQ) En términos de  y  (PQ)
(a) (PQ) " " " y
(b) (PQ) " " " y
(c) (PQ) " " " ,  y 
(d) (PQ) " " " y

6. ¿Puede dar una justificación intuitiva a sus respuestas?

7. Dar una fórmula equivalente a
((PQ)(Q(RS)))
que no tenga signos de negación.
 Determinación por árboles de verdad del
carácter tautológico de una fórmula
El resultado de negar una tautología es una fórmula que es una contradicción
formal, es decir, que no tienen ninguna posibilidad de ser verdad.
Por ello, si hacemos el árbol de verdad de una contradicción, todas sus ramas
deberán cerrarse. También es verdad lo inverso, es decir, que si el árbol de la
negación de una fórmula se cierra en todas sus ramas, entonces la fórmula es
una tautología.
Considérese la fórmula
(PQ)((QR)(PR))
Hacemos el árbol de verdad de su negación:
((PQ)((QR)(PR))).
El hecho de que llegaran a cerrarse todas las ramas indicaría que la negación
de la fórmula es una contradicción y, por consecuencia, que la fórmula es una
tautología.
Primero, damos con una fórmula equivalente a
((PQ)((QR)(PR)))
en la cual los signos de negación únicamente afecten a las fórmulas atómicas
y, segundo, elaboramos el árbol sobre esta nueva fórmula, que es:
(PQ)((QR)(PR))
|
(PQ)
(QR)
(PR)
|
P
R
|
P Q
__ |
Q R
__ __
 Ejercicio (pág. 66)

Determinar si las siguientes fórmulas son o no tautologías

usando el método de los árboles de verdad.
1. ((PQ)R)(P(QR))
2. ((PQ)R)(P(QR))
3. (PQ)((PR)(QR))