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.1 2 La construccin de una tabla de verdad es un mtodo
efectivo para determinar si una frmula cualquiera es una tautologa o no. 2

Tablas de verdad
Artculo principal: Tabla 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.
En lgica, una contradiccin es una incompatibilidad entre dos o ms proposiciones. Por
ejemplo, las oraciones llueve y no llueve y ni llueve ni truena, pero llueve y truena
expresan contradicciones.
En lgica proposicional, una contradiccin se define como una frmula que resulta falsa
para cualquier interpretacin, es decir para cualquier asignacin de valores de verdad que
se haga a sus frmulas atmicas. Por ejemplo, la siguiente tabla demuestra una
contradiccin:

Dada esta definicin, toda contradiccin es la negacin de una tautologa, y toda tautologa
es la negacin de una contradiccin. Siguiendo el ejemplo anterior, al negar la
contradiccin obtenemos una tautologa:

https://es.wikipedia.org/wiki/Contradicci%C3%B3n
https://es.wikipedia.org/wiki/Tautolog%C3%ADa
En lgica y filosofa, la contingencia es el modo de ser de lo que no
es necesario ni imposible, sino que puede ser o no ser el caso.1 En general la contingencia

se predica de los estados de cosas, los hechos, los eventos o las proposiciones.1 Existe un
debate sobre si es aceptable hablar de entidades contingentes (o entidades necesarias o
imposibles),1 conocido como el debate en torno a las modalidades de dicto (de la palabra)
y de res (de la cosa).

La relacin entre necesidad, posibilidad y contingencia es fcil de malentender.1 Todo lo

que es contingente es posible, pero no todo lo que es posible es contingente, pues aquello
que es necesario tambin es posible, pero no es contingente. Por otra parte, no todo lo
que no es necesario es contingente, pues lo que es imposible no es ni necesario ni
contingente.
En lgica modal, se dice que una frmula es contingente cuando es verdadera en al
menos un mundo posible y falsa en otro.
Definicin:
Una

proposicin

es

una

contingencia

si

no

es

ni

verdadera

ni

falsa

independientemente de los valores de verdad de las proposiciones simples que la

componen.
Por ejemplo:

Verdad Indeterminada o Contingencia[editar]

Se entiende por verdad contingente, o verdad de hecho, aquella proposicin que puede
ser verdadera o falsa, segn los valores de las proposiciones que la integran. Sea el
caso:

Su tabla de verdad se construye de la siguiente manera:

Ocho filas que responden a los casos posibles que pueden darse segn el valor V o F de
cada una de las proposiciones A, B, C.(Columnas 1, 2, 3)
Una columna (Columna 4) en la que se establecen los valores de

aplicando la

definicin del disyuntor a los valores de B y de C en cada una de las filas. (Columnas 2,3 4)
Una columna (columna 5) en la que se establecen los valores resultantes de aplicar la
definicin de la conjuncin entre los valores de A (columna 1) y valores de la
columna
completa

, (columna 4) que representarn los valores de la proposicin

, cuyo valor de verdad es V o F segn la fila de los valores de A,

B, y C que consideremos. (Columnas 1,4 5)

Donde podemos comprobar cundo y por qu la proposicin
cundo es F.

https://es.wikipedia.org/wiki/Contingencia
https://argumentosdevalides.wordpress.com/

es V y