Tautología

Tautología
En lógica proposicional, una tautología es una

fórmula bien formada que resulta verdadera para
cualquier interpretación; es decir, para cualquier
Tautología
asignación de valores de verdad que se haga a sus
fórmulas atómicas.1 2 La construcción de una tabla
de verdad es un método efectivo para determinar si
una fórmula cualquiera es una tautología o no.2

Índice
Tablas de verdad
Operación nularia Diagrama de Venn de la conectiva
Regla de reemplazo Nomenclatura
Véase también Lenguaje formal
Notas y referencias Tabla de verdad
Tablas de verdad
En un sistema de lógica proposicional, una
interpretación es una asignación de valores de
verdad (verdadero o falso) a cada una de las
fórmulas atómicas bajo consideración. Diferentes interpretaciones, por lo tanto, difieren solo en las
asignaciones de valores de verdad que hacen. Una tautología es una fórmula bien formada que resulta
verdadera bajo todas las interpretaciones posibles de sus fórmulas atómicos. Por lo tanto, para determinar si
una fórmula cualquiera es una tautología, basta con considerar todas las posibles interpretaciones de las
fórmulas atómicas, y calcular el valor de verdad de la fórmula completa. Esto se logra mediante una tabla
de verdad. Por ejemplo, considérese la fórmula p ∧ q. Como a cada fórmula atómica se le puede asignar
uno de dos posibles valores de verdad, entonces 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 se puede presentar mediante una simple tabla:
Para cada una de estas interpretaciones, se puede calcular el valor de verdad de la fórmula p ∧ q. Los
resultados se pueden presentar nuevamente mediante una tabla:
Esta es la tabla de verdad de la fórmula p ∧ q. Como se ve, esta fórmula solo es verdadera bajo una
interpretación: aquella en la que ambas fórmulas atómicas son verdaderas. Una tautología es una fórmula
que es verdadera para todas las interpretaciones posibles de las fórmulas 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:
Si una fórmula tiene n fórmulas atómicas distintas, 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 lógica proposicional no admite fórmulas infinitamente largas, el número de interpretaciones posibles
siempre será finito, y por lo tanto siempre será posible decidir si una fórmula cualquiera es una tautología o
no.
Operación nularia
Siendo el conjunto de proposiciones, y proposiciones de , se
puede definir la operación nularia: tautología, por la que sin argumentos o
independientemente de los argumentos, a una variable de se le asigna el
valor verdadero.
Una tautología es equivalente al valor verdadero, independientemente de los

argumentos de la expresión o función a la que se puede reducir, a la derecha se
puede ver diagramas de Venn que representan el valor verdadero para: ninguna,
una o dos variables. Esto es una función o relación de variables lógicas o
booleanas es una tautología si es equivalente al valor verdadero para todos los
posibles valores de sus variables.
Regla de reemplazo
En lógica proposicional, la tautología es también una regla de reemplazo
comúnmente utilizada3 para eliminar la redundancia en disyunciones y
conjunciones en las demostraciones lógicas. La tautología se materializa en dos principios:
El principio de idempotencia de la disyunción

y el principio de idempotencia de la conjunción
donde " " es un símbolo metalógico que representa "puede ser reemplazado en una demostración lógica
por".
Véase también
Cálculo lógico
Principio de identidad
Verdad lógica
Notas y referencias
1. «tautology» (http://www.oxfordreference.com/views/ENTRY.html?subview=Main&entry=t98.e
3047). The Oxford Dictionary of Philosophy (en inglés). Oxford University Press. Consultado
el 7 de octubre de 2009.
2. Barcan Marcus, Ruth. «tautology» (http://www.oxfordreference.com/views/ENTRY.html?subv
iew=Main&entry=t116.e2481). The Oxford Companion to Philosophy (en inglés). Oxford
University Press. Consultado el 7 de octubre de 2009.
3. Hurley, Patrick (1991). A Concise Introduction to Logic (https://archive.org/details/conciseintr
oduct00hurl_0) (4ta edición). Wadsworth Publishing. pp. 364-5. (requiere registro).
Obtenido de «https://es.wikipedia.org/w/index.php?title=Tautología&oldid=138738050»
Esta página se editó por última vez el 3 oct 2021 a las 00:41.
El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0;
pueden aplicarse
cláusulas adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.

Tautología

Cargado por

Copyright:

Formatos disponibles

Tautología

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tautología

Cargado por

Copyright:

Formatos disponibles

Tautología

En lógica proposicional, una tautología es una

Notas y referencias Tabla de verdad

Una tautología es equivalente al valor verdadero, independientemente de los

El principio de idempotencia de la disyunción

También podría gustarte