Definicin de Tablas de Verdad

Las tablas de verdad es una estrategia de la lgica simple que permite establecer la validez de
varias propuestas en cuanto a cualquier situacin, es decir, determina las condiciones necesarias para que sea
verdadero un enunciado propuesto, permitiendo clasificarlos en tautolgicos (resultan verdaderos durante
cualquier situacin) contradictorias (son enunciados falsos en la mayora de los casos) o contingentes
(enunciados que no pueden ser tantos verdaderos como falsos no existen tendencia a un solo sentido).

Permite diferentes aspectos del enunciado como las condiciones que lo hacen verdadero y cules son
sus conclusiones lgicas, es decir, si el enunciado propuesto es verdadero o falso. Esta tabla fue ideada
por Charles Sander Peirce aproximadamente en 1880, pero la ms utilizada es el modelo actualizado
de Luidwin Wittgenstein en 1921.

La construccin de la tabla est fundamentada en la utilizacin de un letra para las variables del resultado y las
mismas se cumplen se dicen que son verdaderas, en el caso contrario de que no se cumpla se les asigna el
apelativo de falsas, por ejemplo: Enunciado: Si nos mudamos, mi perro se muere. Variables: A: Si se muda-
B: el perro se muere.

Si se dice que es verdadero a ambas variables se les asigna la letra (V) y representa la positividad del
enunciado, si algunas de las variables no se cumple se les asigna la letra (F) esto no representa la falsedad del
enunciado ya que con cumplirse una sola variable se puede designar como verdadero, eso depender del
enunciado. Cuando ambos valores resultan verdaderos en todas las ocasiones se dice que existe
una conjugacin en el enunciado, en cambio s se obtiene dos resultados verdaderos y luego uno verdadero y el
otro falso se dice que existe una disyuncin.
Como usar las tablas de verdad

Una vez que hemos simbolizado un razonamiento; es decir, que hemos traducido el lenguaje natural al
lenguaje formal, debemos comprobar si dicho razonamiento es vlido o no. Para ello podemos servirnos de
las tablas de verdad y de las deducciones lgicas.

Ahora vamos a ocuparnos de las tablas de verdad.

1) Partimos de que cada variable proposicional puede ser verdadera o falsa. V o F

2) Cuando tenemos ms de una variable, las combinaciones de valores de verdad sern varias. Para saber
cuntas combinaciones de valores de verdad podemos obtener, elevamos 2 al nmero de variables distintas
que aparezcan. Colocamos dichos valores repartndolos por la mitad en la primera variable, por la mitad de
esta en la siguiente, etc..

Ej [ ( p --> q) ^ q] --> p

V V

V F

F V

F F

3) Resolvemos las tablas de verdad de las frmulas no afectadas por el conector dominante. Se llama
conector dominante al que separa las premisas de la conclusin.

Para ello tenemos que saber que:

a) El negador cambia el valor de verdad de la variable o frmula a la que afecta. Si aplicamos esto a la
frmula que estamos resolviendo, tendramos:

[ ( p --> q) ^ q] --> p

V V F F

V F V F

F V F V

F F V V

b) El conjuntor solo es verdadero cuando son verdaderas las dos variables o frmulas que enlaza.

c) El disyuntor solo es falso cuando son falsas las dos variables o frmulas que enlaza.

d) El condicional slo es falso cuando el antecedente es verdadero y el consecuente es falso.

e) El bicondicional es verdadero cuando antecedente y consecuente tienen el mismo valor de verdad y falso
cuando antecedente y consecuente tienen distinto valor de verdad.

Ej. Si aplicamos estas reglas al ejemplo que tenemos entre manos, tendremos:

[(p --> q) ^ q] --> p

V V V F F

V F F V F

F V V F V

F V F V V

Una vez resuelto el parntesis, hago la tabla de verdad de la frmula que est entre corchetes. Y as:

[(p --> q) ^ q] --> p

V V V F F F

V F F F V F

F V V F F V

F V F V V V

4) Resolvemos la tabla de verdad de la frmula afectada por el conector dominante. Y as:

[(p --> q) ^ q] --> p

V V V F F V F

V F F F V V F

F V V F F V V

F V F V V V V

Puede ocurrir que el resultado final sea siempre verdadero, como en este ejemplo, y eso se llama una
TAUTOLOGA;que el resultado final sea a veces verdadero y a veces falso, y eso se llama
INDETERMINACIN; y, por ltimo, que todos los resultados sean falsos y eso se llama una contradiccin
.