QU SON LAS TABLAS DE LA VERDAD?

Las tablas de verdad son, por una parte, uno de los mtodos ms sencillos y conocidos de la lgica
formal, pero la mismo tiempo tambin uno de los ms poderosos y claros. Entender bien las tablas
de verdad es, en gran medida, entender bien a la lgica formal misma.

P Q ^Q

1 1 1

1 0 0

0 1 0

0 0 0

Fundamentalmente, una tabla de verdad es un dispositivo para demostrar ciertas propiedades

lgicas y semnticas de enunciados del lenguaje natural o de frmulas del lenguaje del clculo
proposicional:

1. . Sin son tautolgicas, contradictorias o contingentes

2. . Cules son sus condiciones de verdad
3. . Cul es su rol inferencial, es decir, cules son sus conclusiones lgicas y de qu otras
proposiciones se siguen lgicamente.

Las tablas de la verdad

Estas tablas pueden construirse haciendo una interpretacin de los signos lgicos como: no, o, y,
sientonces, s y slo si. La interpretacin corresponde al sentido que estas operaciones tienen
dentro del razonamiento. Puede establecerse una correspondencia entre los resultados de estas
tablas y la deduccin lgico matemtica. En consecuencia, las tablas de verdad constituyen un
mtodo de decisin para chequear si una proposicin es o no un teorema. Para la construccin de
la tabla se asignar el valor 1(uno) a una proposicin cierta y 0 (cero) a una proposicin falsa.

Negacin: El valor de verdad de la negacin es el contrario de la proposicin negada.

La conjuncin sirve para indicar que se cumplen dos condiciones simultneamente, por
ejemplo:

La funcin es creciente y est definida para los nmeros positivos, utilizamos Para que la
conjuncin p^q sea verdadera las dos expresiones que intervienen deben ser verdaderas y slo en
ese caso como se indica por su tabla de verdad.
 Disyuncin: La disyuncin solamente es falsa si lo son sus dos componentes.

Con la disyuncin a diferencia de la conjuncin, se representan dos expresiones que afirman que
una de las dos es verdadera, por lo que basta con que una de ellas sea verdadera para que la
expresin p q sea verdadera.

Condicional: El condicional solamente es falso cuando el antecedente es verdadero y el

consecuente es falso. De la verdad no se puede seguir la falsedad.

<center>

P Q PVQ

1 1 1

1 0 1

1 1 1

0 0 0

Bicondicional:El bicondicional solamente es cierto si sus componentes tienen el mismo

valor de verdad.

P Q PQ

1 1 1

1 0 1

1 1 1

0 0 1

Se denomina tautologa una proposicin que es cierta para cualquier valor de verdad de sus
componentes. Por tanto, la ltima columna de su tabla de verdad estar formada nicamente por
unos. Contradiccin es la negacin de una tautologa, luego es una proposicin falsa cualesquiera
sea el valor de verdad de sus componentes. La ltima columna de la tabla de verdad de una
contradiccin estar formada nicamente por ceros.