EN L

GICA, Tautologa
UNA T
AUTO
LOG
A (del
griego
Diagrama de Venn de
,
"decir Nomenclatura
lo
Puerta Lgica

Diagrama de Venn de

Tabla de la Verdad

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 susfrmulas 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.

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 2 2 = 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:

Contradiccin

Diagrama de Venn de
Diagrama de Venn de

Nomenclatura
Lenguaje formal
Operador booleano
Operador de conjuntos
Tabla de la Verdad

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 modalidadesde 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.

CONTINGENCIA:Se entiende por verdad contingente, o verdad de

hecho, aquella proposicin que puede ser verdadera o falsa,
(combinacin entre tautologa y contradiccin) segn los valores
de las proposiciones que la integran. Sea el caso: