Tautologa.

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. La construccin de una tabla de verdades un mtodo efectivo para determinar si una frmula cualquiera es una tautologa o no. Tablas de verdad. En un sistema de lgica proposicional, una interpretacin no es ms que una funcin que asigna un nico valor de verdad a todas las frmulas atmicas bajo consideracin. Diferentes interpretaciones, por lo tanto, difieren slo en las asignaciones de valores de verdad que hacen. Una tautologa es una frmula bien formada que bajo cualquier interpretacin de sus componentes atmicos, tiene valor de verdad 1 (verdadero). Por lo tanto, para determinar si una frmula cualquiera es una tautologa, basta con considerar todas las posibles interpretaciones de las frmulas atmicas, y calcular el valor de verdad del todo. Esto se logra mediante una tabla de verdad. Por ejemplo, considrese la frmula p q. Como a cada frmula atmica puede asignrsele uno de dos posibles valores de verdad, 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 puede presentarse mediante una simple tabla:

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

Esta es la tabla de verdad de la frmula p q. Como se ve, esta frmula slo es verdadera bajo una interpretacin: aquella en la que ambas frmulas atmicas son verdaderas. Una tautologa es una frmula cuyo valor de verdad es 1 para todas las interpretaciones posibles de las frmulas atmicas. Por lo tanto, p q no es una tautologa. En cambio, la siguiente tabla de verdad muestra una frmula que s lo es:

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 infinitas, el nmero de interpretaciones posibles siempre ser un nmero finito, y por lo tanto siempre ser posible decidir si una frmula cualquiera es una tautologa o no.

Tautologa es un trmino que proviene de un vocablo griego y que hace referencia a la repeticin de un mismo pensamiento a travs de distintas expresiones. Una tautologa, para la retrica, es una afirmacin redundante. Es habitual que las tautologas sean consideradas como un error en el lenguaje o una falta de estilo. Sin embargo, es posible apelar a las tautologas para enfatizar una cierta idea. Por ejemplo: la oracin Puedo confirmar que el acusado es culpable ya que vi el asesinato con mis propios ojos presenta una aclaracin innecesaria acerca del uso de sus ojos, dado que no podra haber visto por otro medio; del mismo modo, el nfasis de la palabra propios puede omitirse absolutamente. Otros ejemplos muy comunes de tautologa se pueden apreciar en las siguientes oraciones: Voy a subir arriba a buscar un libro y vuelvo, Tengo que salir afuera para regar las plantas. Siempre que se sube es hacia arriba; del mismo modo, salir implica trasladarse fuera de un lugar, por lo cual dichas aclaraciones carecen de sentido y resultan innecesarias para la comprensin. Cuando la tautologa supone una explicacin redundante que no aporta un nuevo conocimiento, se suele hablar de perogrullada o verdad de Perogrullo: Soy lo que soy. La expresin en la que aparecen trminos redundantes (como subir arriba o salir afuera), por otra parte, recibe el nombre depleonasmo. En el mbito de la lgica, una tautologa es una frmula de un sistema que resulta verdadera para cualquier interpretacin. En otras palabras, se trata de una expresin lgica que es verdadera para todos los posibles valores de verdad de sus componentes atmicos. Para saber si una frmula dada es una tautologa, se debe construir una tabla de verdad. Tabla de verdad La tabla de verdad (tambin conocida como tabla de valores de verdad) presenta una proposicin compuesta y su valor de verdad para cada una de las combinaciones posibles que se puedan dar con sus elementos. Su autor fue el filsofo y cientfico norteamericano Charles Sanders Peirce, tambin conocido como el mximo representante de la semitica moderna, y la public a mediados de 1880. Para configurar un sistema formal, es necesario establecer las definiciones de cada operador y los argumentos deben ser expuestos en forma de razonamientos deductivos lgicolingsticos, responder a un diseo puramente matemtico y constituir una aplicacin lgica que defina sus variables de entrada y salida. Los dos posibles valores que puede arrojar una tabla de verdad son: verdadero, el cual se expresa mediante la letra V o con el nmero 1 e indica que el circuito se encuentra cerrado; falso, representado por la letra F o el nmero 0, cuando un circuito se encuentra

abierto. Las proposiciones a analizar son las variables, y se ubican en la parte superior de la tabla, ocupando el lugar que comnmente se destina a los nombres de campos. Los operadores utilizados en una tabla de verdad son: * Negacin: al ejecutarlo sobre un valor de verdad determinado, arroja el opuesto (si originalmente era verdadero, devuelve falso, y viceversa); * Conjuncin: se utiliza para operar con dos valores de verdad, generalmente de dos proposiciones diferentes, y devuelve verdadero cuando las dos lo son, y falso para el resto de los casos; * Disyuncin: similar a la conjuncin, pero le basta que una de las dos proposiciones tenga valor verdadero para devolver tal resultado; * Condicional: tambin conocido por el nombre de implicacin, toma dos proposiciones y arroja falso solamente cuando la primera devuelve verdadero y la segunda, falso. Para los casos restantes, su resultado es verdadero; * bicondicional: opera sobre los valores de verdad de dos proposiciones y devuelve verdadero si ambas tienen el mismo valor y falso en el caso contrario.