Sei sulla pagina 1di 2

Tautología

En lógica, una tautología (del griego ταυτολογία, “de- cir lo mismo”) es una fórmula bien formada de un sistema de lógica proposicional que resulta verdadera para cual- quier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómi- cas. [1][2] La construcción de una tabla de verdad es un método efectivo para determinar si una fórmula cualquie- ra es una tautología o no. [2]

1 Tablas de verdad

En un sistema de lógica proposicional, una interpretación no es más que una función que asigna un único valor de verdad a todas las fórmulas atómicas bajo consideración. Diferentes interpretaciones, por lo tanto, difieren sólo en las asignaciones de valores de verdad que hacen. Una tau- tología es una fórmula bien formada que bajo cualquier interpretación de sus componentes atómicos, tiene valor de verdad 1 (verdadero). Por lo tanto, para determinar si una fórmula cualquiera es una tautología, basta con con- siderar todas las posibles interpretaciones de las fórmulas atómicas, y calcular el valor de verdad del todo. Esto se logra mediante una tabla de verdad. Por ejemplo, consi- dérese la fórmula p q. Como a cada fórmula atómica puede asignársele 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 am- bas 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:

p q V V V F F V F F
p
q
V
V
V
F
F
V
F
F

Para cada una de estas interpretaciones, puede calcularse el valor de verdad de la fórmula p q. Los resultados pueden presentarse nuevamente mediante una tabla:

p q p ∧ q V V V V F F F V F F
p
q
p ∧ q
V
V
V
V
F
F
F
V
F
F
F
F

Esta es la tabla de verdad de la fórmula p q. Como se ve, esta fórmula sólo es verdadera bajo una interpretación:

aquella en la que ambas fórmulas atómicas son verdade- ras. Una tautología es una fórmula cuyo valor de verdad es 1 para todas las interpretaciones posibles de las fórmu- las atómicas. Por lo tanto, p q no es una tautología. En cambio, la siguiente tabla de verdad muestra una fórmula que sí lo es:

p

q

(p q)

(p q) p

V

V

V

V

V

F

F

V

F

V

F

V

F

F

F

V

Si una fórmula tiene n fórmulas atómicas, entonces tie- ne 2 n 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 lógica pro- posicional no admite fórmulas infinitas, el número de in- terpretaciones posibles siempre será un número finito, y por lo tanto siempre será posible decidir si una fórmula cualquiera es una tautología o no.

2 Véase también

Argumento

3 Notas y referencias

[1] «tautology» (en inglés), The Oxford Dictio- nary of Philosophy, Oxford University Press, http://www.oxfordreference.com/views/ENTRY. html?subview=Main&entry=t98.e3047, consultado el 7 de octubre de 2009

[2] Barcan Marcus, Ruth, «tautology» (en inglés), 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

1

2

4 ORIGEN DEL TEXTO Y LAS IMÁGENES, COLABORADORES Y LICENCIAS

4 Origen del texto y las imágenes, colaboradores y licencias

4.1 Texto

Tautología Fuente: https://es.wikipedia.org/wiki/Tautolog%C3%ADa?oldid=87340480 Colaboradores: Zwobot, Jynus, Bafomet, Dianai, Xatufan, Wikiküntscher, 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, Cobalt- tempest, Jarisleif, Dnu72, Juliabis, Alejandrocaro35, SilvonenBot, Camilo, AVBOT, MastiBot, Diegusjaimes, Duca3, Dangelin5, Mcap- devila, 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 Anónimos: 97

4.2 Imágenes

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 Colabo- radores: ? 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