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]

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:

p
V
V
F
F

Tablas 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, dieren 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:

q
V
F
V
F

(p q) (p q) p
V
V
F
V
F
V
F
V

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 innitas, el nmero de interpretaciones posibles siempre ser un nmero nito, y
por lo tanto siempre ser posible decidir si una frmula
cualquiera es una tautologa o no.

2 Vase tambin
Clculo lgico
Lgica proposicional
Tabla de verdad
Verdad lgica

p
V
V
F
F

q
V
F
V
F

Argumento

3 Notas y referencias
[1] tautology (en ingls), The Oxford Dictionary of Philosophy, Oxford University Press,
http://www.oxfordreference.com/views/ENTRY.
html?subview=Main&entry=t98.e3047, consultado el 7
de octubre de 2009

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:

p
V
V
F
F

q
V
F
V
F

[2] Barcan Marcus, Ruth, tautology (en ingls), The

Oxford Companion to Philosophy, Oxford University
Press, http://www.oxfordreference.com/views/ENTRY.
html?subview=Main&entry=t116.e2481, consultado el 7
de octubre de 2009

pq
V
F
F
F
1

4 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

Origen del texto y las imgenes, colaboradores y licencias

4.1

Texto

Tautologa Fuente: https://es.wikipedia.org/wiki/Tautolog%C3%ADa?oldid=87340480 Colaboradores: Zwobot, Jynus, Bafomet, Dianai,

Xatufan, Wikikntscher, RobotQuistnix, Unf, Caiserbot, Yrbot, Vitamine, YurikBot, Jos., JMCC1, Davius, Thijs!bot, Isha, JAnDbot,
Kved, Homo logos, Netito777, MONIMINO, Fixertool, Dhidalgo, Snakeeater, DJ Nietzsche, Lucien leGrey, Tatvs, Edmenb, Ctrl Z, Cobalttempest, Jarisleif, Dnu72, Juliabis, Alejandrocaro35, SilvonenBot, Camilo, AVBOT, MastiBot, Diegusjaimes, Duca3, Dangelin5, Mcapdevila, Luis Felipe Schenone, SuperBraulio13, Xqbot, Jkbw, GNM, Rubinbot, Ska Nelaso, Kismalac, MAfotBOT, Pcriado, Miss Manzana,
Edslov, MercurioMT, Waka Waka, Cordwainer, Antonorsi, MerlIwBot, KLBot2, Allan Aguilar, Ileana n, Syum90, Balles2601, Jarould y
Annimos: 97

4.2

Imgenes

Archivo:Logical_connectives_Hasse_diagram.svg
Fuente:
https://upload.wikimedia.org/wikipedia/commons/3/3e/Logical_
connectives_Hasse_diagram.svg Licencia: Public domain Colaboradores: Trabajo propio Artista original: Watchduck (a.k.a. Tilman
Piesk)

Archivo:Venn1111.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/c/ca/Venn1111.svg Licencia: Public domain Colaboradores: ? Artista original: ?

Archivo:Venn_1111_1111.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/2/2f/Venn_1111_1111.svg Licencia: Public
domain Colaboradores: ? Artista original: ?

4.3

Licencia del contenido

Creative Commons Attribution-Share Alike 3.0