Tautología

Ir a la navegaciónIr a la búsqueda
Se ha sugerido que este artículo o sección sea fusionado con Tautología (regla
de inferencia). Para más información, véase la discusión.
Una vez que hayas realizado la fusión de contenidos, pide la fusión de historiales aquí.
Este aviso fue puesto el 22 de septiembre de 2016.

Tautología

Diagrama de Venn de la conectiva

Nomenclatura

Lenguaje formal

Tabla de verdad

[editar datos en Wikidata]

Conectivas lógicas
  Tautología 

 Conjunción opuesta 

 Implicación opuesta 

 Condicional material 

 Disyunción lógica 

 Negación lógica 

 Disyunción exclusiva 

 Bicondicional 

 Afirmación lógica

 Disyunción opuesta 

 Adjunción lógica 

 Adjunción opuesta 

 Conjunción lógica 

 Contradicción 

 v

 d

 e
Para otros usos de este término, véase Tautología (desambiguación).
En lógica proposicional, una tautología es una fórmula bien formada que resulta
verdadera para cualquier interpretación; es decir, para cualquier asignación
de valores de verdad que se haga a sus fórmulas atómicas.12 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

 1Tablas de verdad
 2Operación nularia
 3Véase también
 4Notas y referencias

Tablas de verdad[editar]
Artículo principal: Tabla 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[editar]

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.

Véase también[editar]
 Cálculo lógico
 Lógica proposicional
 Tabla de verdad
 Verdad lógica
 Argumento
 Principio de identidad

Notas y referencias[editar]
1. ↑ «tautology». The Oxford Dictionary of Philosophy (en inglés). Oxford
University Press. Consultado el 7 de octubre de 2009.
2. ↑ Saltar a:a b Barcan Marcus, Ruth. «tautology». The Oxford Companion to
Philosophy (en inglés). Oxford University Press. Consultado el 7 de octubre
de 2009.