Tautología (lógica)


Tautología (lógica)

Tautología (lógica)

En lógica, una tautología (del griego ταυτολογία, decir lo mismo) es una fórmula bien formada de un sistema lógico 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 verdad es un método efectivo para determinar si una fórmula cualquiera es una tautología o no.[2]

Tablas de verdad

En un sistema lógico, 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 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, 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 del todo. Esto se logra mediante una tabla de verdad. Por ejemplo, considérese la fórmula (p \and q). Como a cada fórmula atómica (en este caso, p o q) puede asignársele 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:

\begin{array}{|c|c|}
      p & q \\
      \hline
      1 & 1 \\
      1 & 0 \\
      0 & 1 \\
      0 & 0 \\
      \hline
   \end{array}

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

\begin{array}{|c|c||c|}
      p & q & p \and q \\
      \hline
      1 & 1 & 1 \\
      1 & 0 & 0 \\
      0 & 1 & 0 \\
      0 & 0 & 0 \\
      \hline
   \end{array}

Esta es la tabla de verdad de la fórmula (p \and 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 verdad es 1 para todas las interpretaciones posibles de las fórmulas atómicas. Por lo tanto, (p \and q) no es una tautología. En cambio, la siguiente tabla de verdad muestra una fórmula que sí lo es:

\begin{array}{|c|c||c|c|}
      p & q & (p \and q) & (p \and q) \to p \\
      \hline
      v & v & v & v \\
      v & f & f & v \\
      f & v & f & v \\
      f & f & f & v \\
      \hline
   \end{array}

Si una fórmula tiene n fórmulas atómicas, 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 infinitas, el número de interpretaciones 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.

Véase también

Notas y referencias

  1. «tautology» (en inglés). The Oxford Dictionary of Philosophy. Oxford University Press. Consultado el 7 de octubre de 2009.
  2. a b Barcan Marcus, Ruth «tautology» (en inglés). The Oxford Companion to Philosophy. Oxford University Press. Consultado el 7 de octubre de 2009.
Obtenido de "Tautolog%C3%ADa (l%C3%B3gica)"

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • tautología — sustantivo femenino 1. Uso/registro: elevado. Repetición innecesaria o redundante de un mismo concepto por medio de palabras distintas: Muchas frases coloquiales son tautologías, como subir arriba o bajar abajo . 2. Área: lógica Vicio lógico que… …   Diccionario Salamanca de la Lengua Española

  • 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ógica proposicional que resulta verdadera para cualquier… …   Wikipedia Español

  • Lógica proposicional — En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de …   Wikipedia Español

  • tautologia — tau·to·lo·gì·a s.f. 1a. TS ling. forma del discorso costituita da una proposizione in cui il predicato non aggiunge o sembra non aggiungere altro a quanto espresso dal soggetto (es. il guidatore guida, il cantante canta) 1b. CO ragionamento,… …   Dizionario italiano

  • Tautología — (Del gr. tautos, el mismo + logos , palabra.) ► sustantivo femenino RETÓRICA Repetición innecesaria de una misma idea expresada de varias formas. * * * tautología (del gr. «tautología») 1 f. Acumulación innecesaria e inútil, al menos lógicamente …   Enciclopedia Universal

  • Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… …   Wikipedia Español

  • Lógica relevante — La lógica relevante, también llamada lógica de relevancia, es toda lógica perteneciente a una de las familias de lógicas sub estructurales no clásicas que impone ciertas restricciones en la implicación. La lógica relevante fue propuesta en 1928… …   Wikipedia Español

  • Lógica doxástica — La lógica doxástica (del griego antiguo δόξα, doxa, creencia ) es una lógica modal que se ocupa del razonamiento acerca de las creencias. Típicamente, una lógica doxástica utiliza la expresión para significar el razonador c cree que p es… …   Wikipedia Español

  • Verdad lógica — Una verdad lógica es una fórmula bien formada de un lenguaje formal que es verdadera bajo todas las interpretaciones de los componentes (distintos de las constantes lógicas) de ese lenguaje.[1] [2] En algunos contextos, las verdades lógicas se… …   Wikipedia Español

  • Proposición (lógica) — Saltar a navegación, búsqueda En lógica y filosofía, el término proposición se usa para referir a:[1] Las entidades portadoras de los valores de verdad.[1] Los objetos de las creencias y de otras actitudes proposicionales.[ …   Wikipedia Español