To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

De Wikipedia, la enciclopedia libre

Tautología
Diagrama de Venn 21.svg

Diagrama de Venn de la conectiva
Nomenclatura
Lenguaje formal
Tabla de verdad

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.[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 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 pq. 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 pq. Los resultados se pueden presentar nuevamente mediante una tabla:

Esta es la tabla de verdad de la fórmula pq. 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, pq 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 utilizada[3]​ 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

Notas y referencias

  1. «tautology». The Oxford Dictionary of Philosophy (en inglés). Oxford University Press. Consultado el 7 de octubre de 2009. 
  2. a b Barcan Marcus, Ruth. «tautology». 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 (4ta edición). Wadsworth Publishing. pp. 364-5. (requiere registro). 
Esta página se editó por última vez el 3 oct 2021 a las 00:41.
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.