Tautologa

Para otros usos de este trmino,

vase Tautologa (retrica).
Tautologa

En lgica,
una tautologa (del griego , "decir lo
mismo") es una frmula bien formada de un
sistema de lgica proposicional que resulta
verdadera para cualquier interpretacin; es
decir, para cualquier asignacin de valores 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

Diagrama de Venn de
Diagrama de Venn de

Nomenclatura
Puerta Lgica
Tabla de la Verdad

Tablas de verdad
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 22 = 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.

Vase tambin

Clculo lgico

Lgica proposicional

Tabla de verdad

Verdad lgica

Argumento

Notas y referencias
1. Volver arriba tautology (en ingls), The Oxford Dictionary of
Philosophy, Oxford University Press, consultado el 7 de octubre de 2009
2. Saltar a:

a b

Barcan Marcus, Ruth, tautology (en ingls), The Oxford

Companion to Philosophy, Oxford University Press, consultado el 7 de

octubre de 2009