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]
p
V
V
F
F
Tablas de verdad
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
p
V
V
F
F
q
V
F
V
F
pq
V
F
F
F
1
4.1
Texto
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)
4.3