Tautologa

Diagrama de Venn de
Diagrama de Venn de

Nomenclatura
Puerta Lgica
Tabla de la Verdad

Tautologa
Para otros usos de este trmino, vase Tautologa (retrica).
En lgica, una tautologa (del griego , "decir lo mismo") es una frmula bien
formada de un sistema delgica proposicional que resulta verdadera para cualquier
interpretacin; es decir, para cualquier asignacin devalores de verdad que se haga a
sus frmulas atmicas.1 2 La construccin de una tabla de verdad es un mtodo efectivo para
determinar si una frmula cualquiera es una tautologa o no.2

Tablas de verdad[editar]
Artculo principal: Tabla de verdad

En un sistema de lgica proposicional, una interpretacin no es ms que una funcin que

asigna un nico valor de verdad a todas las frmulas atmicas bajo consideracin. Diferentes
interpretaciones, por lo tanto, difieren slo en las asignaciones de valores de verdad que
hacen. Una tautologa es una frmula bien formada que bajo cualquier interpretacin de sus
componentes atmicos, tiene valor de verdad 1 (verdadero). Por lo tanto, para determinar si
una frmula cualquiera es una tautologa, basta con considerar todas las posibles
interpretaciones de las frmulas atmicas, y calcular el valor de verdad del todo. Esto se logra

mediante una tabla de verdad. Por ejemplo, considrese la frmula p q. Como a cada
frmula atmica puede asignrsele uno de dos posibles valores de verdad, hay en total 2 2 = 4
posibles combinaciones de valores de verdad. Es decir, cuatro interpretaciones posibles: o
ambas son verdaderas; o p es verdadera y q falsa; o p es falsa y q verdadera; o ambas son
falsas. Esto puede presentarse mediante una simple tabla:

Para cada una de estas interpretaciones, puede calcularse el valor de verdad de la

frmula p q. Los resultados pueden presentarse nuevamente mediante una tabla:

Esta es la tabla de verdad de la frmula p q. Como se ve, esta frmula slo es

verdadera bajo una interpretacin: aquella en la que ambas frmulas atmicas son
verdaderas. Una tautologa es una frmula cuyo valor de verdad es 1 para todas las
interpretaciones posibles de las frmulas atmicas. Por lo tanto, p q no es una
tautologa. En cambio, la siguiente tabla de verdad muestra una frmula que s lo es:

Si una frmula tiene n frmulas atmicas, entonces tiene 2n interpretaciones

posibles. En muchos casos, por lo tanto, las tablas de verdad pueden ser muy
grandes. Lo importante, sin embargo, es que dado que la lgica proposicional no
admite frmulas infinitas, el nmero de interpretaciones posibles siempre ser un

nmero finito, y por lo tanto siempre ser posible decidir si una frmula cualquiera
es una tautologa o no.