HOJAS DE VIDA

Tautología
Para otros usos de este término, véase Tautología (retórica).
En lógica, una tautología (del griego ταυτολογία, "decir lo mismo") es una fórmula bien formada de un sistema de lógicaproposicional 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.1 2 La construcción de una tabla de verdades un método efectivo para determinar si una fórmula cualquiera es una tautología o no.2
[editar]Tablas de verdad
Artículo principal: Tabla de verdad.
En un sistema de lógica proposicional, unainterpretació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 lasasignaciones de valores de verdad que hacen. Una tautologí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, paradeterminar 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 del todo. Esto se logra medianteuna tabla de verdad. Por ejemplo, considé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 22 = 4 posibles combinaciones de valoresde 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 simpletabla:

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:

Esta es la tabla deverdad 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 verdaderas. Una tautología es una fórmula cuyo valor de...