TABLAS DE VERDAD

Una tabla de verdad es una forma de ver en qu condiciones un argumento es verdadero y en cules
falso. Para hacerla, se deben seguir unos pasos.

1 Formalizar el argumento

Ejemplo:
Premisa: Si y solo si me das de alta en Netflix me pondr a estudiar y p (q r)
aprobar todas
Premisa: No me pongo a estudiar y no apruebo todas qr
Conclusin: No me das de alta en Netflix p

2 Unir las premisas mediante una conjuncin y todo ello con la conclusin mediante un
condicional. Escribirlo en una sola lnea

[ [p (q r)] ( q r) ] p

3 Escribir todas las variables diferentes en columnas y poner todas sus posibles
combinaciones.

En este caso tenemos 3 variables: p, q, r.

Tendremos tantas filas como 2 elevado al nmero
de variables. Es decir, multiplicamos x2 una vez P Q R
por cada variable. En este caso tendremos 8 filas v v v
( 2x2x2 = 8 ) v v f
Para asegurarnos de que tenemos todas las v f v
combinaciones, lo mejor es seguir un orden. Una v f f
forma es coger la 1 columna y poner mitad V f v v
mitad F. En la siguiente columna se hace lo mismo f v f
pero con la mitad de la mitad y as hasta terminar f f v
las columnas. f f f

4 Ir haciendo la tabla, desde las partes ms pequeas a la frase completa

p q r p q r qr p (q r) qr A1 B2
v v v f f f v v f f v
v v f f f v f f f f v
v f v f v f f f f f v
v f f f v v f f v f v
f v v v f f v f f f v
f v f v f v f v f f v
f f v v v f f v f f v
f f f v v v f v v v v

1 A = [ [p (q r)] ( q r) ]
2 B = [ [p (q r)] ( q r) ] p O sea, la tabla de verdad de todo el argumento final
 DEDUCCIONES

Una deduccin es una procedimiento por el cual, si tenemos unas premisas, que aceptamos como
verdaderas, podemos utilizar ciertas reglas para sacar consecuencias que sern necesariamente.

Veamos el siguiente ejemplo:

-1 (p q) t
-2 p s
-3 s q

Para hacer bien una deduccin tenemos que:

1 Ver la conclusin que se nos pide. Suele ir indicada por el smbolo

En este caso me piden que obtenga t

2 Mirar las premisas y ver cmo conseguirlo.

En este caso tengo una t en la premisa 1, y para poder tenerla por separado tendra que convertir ese
bicondicional en un condicional simple con la t a la derecha. Si lo consigo y consigo el antecedente
(la parte de la izquierda del condicional) puedo tenerla por separado. La parte izquierda sera p q,
as que necesito conseguir p y q por separado para poder juntarlos y as liberar la t. Hay una p que
puedo separar de su conjuncin en la premisa 2 y hay una q en la premisa 3 que puedo liberar si
consigo una s (que tambin est en la premisa 2), as que tengo todo lo que necesito.

3 Indicar todos los pasos. Cada paso ser una fila nueva que ir numerada (pero SIN guin,
los guiones sirven para distinguir las premisas). Deber adems indicar cmo he obtenido
cada paso indicando la regla y la fila o filas en las que he usado esa regla.

En este caso quedara as:

1 (p q) t
2 ps
3 s q

4 p EC 2
5 s EC 2
6 q MP 3,5
7 q DN 6
8 pq IC 4,7
9 (p q) t EB 1
----------------------
9 t MP 9,8
 Tablas de verdad de los diferentes smbolos lgicos

Negacin: se aplica a un slo elemento. Le cambia el valor de verdad por su contrario.

p p
v f
f v

Conjuncin: une dos elementos. Solo es verdad cuando los dos son verdad.
Disyuncin: une dos elementos. Es verdad cuando al menos uno de los dos es verdad.
Condicional: une dos elementos. Solo es falso cuando el antecedente es verdadero y el consecuente falso.
Bicondicional: une dos elementos. Es verdadero cuando ambos elementos son verdaderos o ambos falsos.

p q pq pq pq pq
v v v v v v
v f f v f f
f v f v v f
f f f f v v

Deduccin: Reglas bsicas

Introduccin de la conjuncin - IC qp
Introduccin de la disyuncin - ID
p
q p
------- -------
pq pq

Eliminacin de la conjuncin - EC Doble Negacin - DN

pq p
------- -------
p p
q
Modus Ponens - MP
Introduccin del bicondicional - IB
pq
pq p
qp -------
------- q
pq

Eliminacin del bicondicional - EB

Estas reglas dicen que si tienes lo de arriba (es
pq decir, lo que viene en las lneas con un guin),
------- puedes sacar lo que est debajo de la linea
pq punteada.