TABLAS DE VERDAD. EXPLICACIN Y EJERCICIOS.

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.
VoF
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
V F
F
V
F V
V
F
F V
F
V
Una vez resuelto el parntesis,
est entre corchetes. Y as:
[ ( p --> q) ^ q] -->
V V
V
V F
F
F V
V
F V
F
4) Resolvemos la
dominante. Y as:
[(p

-->

F
F
V
V
hago la tabla de verdad de la frmula que
p

F
F
F
F
V
F
F
F
V
V
V
V
tabla de verdad de la frmula afectada por el conector

q) ^ q]

-->

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.

Ahora practica t con las frmulas siguientes:

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

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

Ejercicios resueltos de
tablas de verdad y
formalizacin
BY EUG ENI O S NC HEZ BRAVO O N 25 OC TUBRE , 2008 ( 25 COM ENTARIO S )

EJERCICIOS DE TABLAS DE VERDAD Y

FORMALIZACIN MS TABLAS DE VERDAD
Construya la tabla de verdad de las siguientes frmulas. Indique qu frmulas son
tautolgicas, cules contradictorias y cules indeterminadas.
1.
p

&

->

TAUTOLOGA
2.

->

&

&

CONTRADICCIN
3.
p

->

INDETERMINACIN
4.
(

->

&

->

INDETERMINACIN
5.
(

->

&

->

->

->

->

TAUTOLOGA
6.
(

&

->

INDETERMINACIN
7.
p

->

->

INDETERMINACIN
8.

TAUTOLOGA

<->

&

9.
p

->

->

INDETERMINACIN
10.

<->

INDETERMINACIN
Formalice los siguientes argumentos. Una vez formalizados, Haga su tabla de verdad e
indique si son vlidos (tautologas) o no.
[Los ejercicios estn tomados de la excelente introduccin a la lgica proposicional de
Eulalia Prez Sedeo.
Eulalia Prez Sedeo: Ejercicios de Lgica, Madrid: s. XXI de Espaa Editores,
1991.]
Ejemplo: Jaime se come el polo o se le derretir; no se derrite el polo; por tanto, Jaime se
come el polo. p = Jaime se come el polo q = el polo se derrite. (p v q) & q -> p

(p

q)

&

->

Argumento vlido. Tautologa.

1. Juan partir para Japn, si Mara se queda en Venecia. Rosa viajar a Luxemburgo o Juan
no partir para Japn. O Mara no se queda en Venecia o Rosa no viajar a Luxemburgo.
Por consiguiente, Mara no se queda en Venecia.
Juan Japn: p
Mara Venecia: q
Rosa Luxemburgo: r
((q -> p) & (r v p)) & (q v r) -> q
(

p
>

& (

V V V

V V F

V V V

V V

V V

V F

V F

V V V F

V F

V V F

V F

V F

V V F

V F

V V F

V V F

q
>

& (

V F

V V V F

V F

V F

V F

V V F

V V V F

V F

V F

V V V F

V F

V F

V V F

V F

V F

V V F

V V F

V V F

TAUTOLOGA
2. Si la Luna es mayor que la Tierra, la Tierra es mayor que el Sol. Jpiter es mayor que
Plutn, si la Tierra es mayor que el Sol. Por tanto, si la Luna es mayor que la Tierra, Jpiter
es mayor que Plutn.
Luna mayor: p
Tierra mayor: q
Jpiter mayor: r
(p -> q) & (q -> r) -> (p -> r)
(

->

&

->

->

->

TAUTOLOGA
3. Cuando viajo me mareo. Siempre que me mareo, me entra un hambre atroz. As pues,
siempre que me entra un hambre atroz, viajo.
Viajo: p
Mareo: q
Hambre: r
((p -> q) & (q -> r)) ->(r -> p)
(

>

>

>

&

>

INDETERMINACIN
4. O el amor es ciego y los hombres no son conscientes del hecho de que el amor es ciego,
o el amor es ciego y las mujeres sacan ventaja de ello. Si los hombres no son conscientes de
que el amor es ciego, entonces el amor no es ciego. En conclusin, las mujeres sacan
ventaja de ello.
Amor ciego: p
Hombres no conscientes: q
Mujeres ventaja: r
((p & q) v (p & r)) & (q -> p) ->r
(
(

&

>

&

)
)

&

>

TAUTOLOGA
5. Si Guillermo estudia, obtiene buenas notas. Si no estudia, lo pasa bien en el colegio. Si
no saca buenas notas, no lo pasa bien en el colegio. As pues, Guillermo obtiene buenas
notas.
Guillermo estudia: p
Guillermo notas: q
Guillermo colegio: r
((p -> q) & ( p -> r)) & ( q -> r) -> q
(

q
>

r
>

r
>

V V

V V

V F

V F

V V

V V

V F

&

&

q
>

V F

TAUTOLOGA
6. Cuando Eduardo no juega al baloncesto, juega al tenis; cuando juega al tenis, juega al
ftbol; no juega al ftbol. Por tanto, Eduardo juega al baloncesto.
Eduardo baloncesto: p
Eduardo tenis: q
Eduardo ftbol: r
((p -> q) & (q ->r)) & r ->p
((

&

>

->

&

->

))

TAUTOLOGA
7. Si la tormenta contina o anochece, nos quedaremos a cenar o a dormir; si nos quedamos
a cenar o a dormir no iremos maana al concierto; por consiguiente, iremos maana al
concierto.
Tormenta continua: p
Anochece: q
Quedamos a cenar: r
Quedamos a dormir: s
Iremos concierto: t
(((p v q) -> (r v s)) & ((r v s) -> t)) -> t
(
(
(

(
>

)
)

&

(
(

t
>

)
)

t
>

V V

V V

V V

V V

V F

V V

V V

V V

V V

V F

V V

V V

V V

V V

V F

V V

V V

V V

V V

desarrollo

Tomemos como punto de partida la siguiente expresin lgica:

[(p q) q] p
Podra ser la forma lgica de una expresin como:
"Si hace calor, entonces nos baamos.
No es verdad que nos estemos baando;
por lo tanto, no hace calor".

Sabemos que los enunciados atmicos (p, q, y

r) pueden ser verdaderos o falsos, y tambin
sabemos que las conectivas se definen por
adquirir unos determinados valores de verdad
dependiendo del valor de las proposiciones que
unen.

Imgen 8. Autor:Desconocido. Dominio

Pblico

Ahora nos interesa calcular el valor de verdad

de todo el enunciado ( [(p q) q] p),
de forma que podamos determinar la validez
lgica del mismo. Para poder hacerlo debemos
seguir una serie de pasos:

1. Colocar los valores de verdad de las proposiciones

atmicas, en todas sus combinaciones posibles:
[(p q) q] p

Como en esta expresin tenemos 2 proposiciones distintas (p y q)

las combinaciones son 4. Pero si tuvieramos 3 proposiciones
deberamos poner 8 combinaciones; y si tuvieramos 4 proposiciones
deberamos poner 16. En general el nmero de combinaciones
depende del nmero de proposiciones distintas que haya, de acuerdo
a la siguiente tabla:
N de proposiciones distintas
1
2
3
4
5
6

N de combinaciones de valores de verdad

2
4
8
16
32
64

Como ves, el nmero de combinaciones se multiplica por 2 por cada

nueva proposicin distinta que tenemos. Tambien existe un mtodo
para colocar todas las combinaciones de forma mecnica y sin error,
como podrs ver en el siguiente apartado Curiosidad.
Sobre la tarea.
Lee con atencin todos los pasos que se describen en este apartado:
son necesarios para realizar la segunda parte de la tarea.
Una vez que tenemos asignados los valores de verdad de las
proposiciones atmicas p y q, empezamos a calcular los valores de
verdad de los enunciados negados: p q:

Luego, calculamos los valores de las conectivas del parntesis

y del corchete:

Y finalmente calculamos el condicional que une el valor de la conectiva

del corchete con p:

Por ltimo, calculamos la tabla del condicional de la derecha, que es la

conectiva ms dominante. Para ello comparamos las tablas de la
negacin de p y la de la conjuncin que acabamos de hallar (pues este
condicional une todo el corchete, cuyo valor de verdad es la tabla de la
conjuncin, con la negacin de p):

Esta ltima tabla es el resultado final y nos

dice el valor de verdad de toda la expresin.

Como puedes ver, la tabla de

verdad est compuesta solo por valores de
Imgen 9. Autor: Desconocido.Dominio
pblico

verdad, lo que quiere decir que es verdadera. Eso significa que el

razonamiento es correcto o, dicho en trminos lgicos, la expresin
es una tautologa.
Hay ocasiones en que el resultado final de la tabla de verdad no
es tautolgico por contener unos y ceros. Cuando eso sucede, el
razonamiento no es lgicamente correcto y recibe el nombre
de indeterminacin o contingencia. Pero, si el resultado final de la
tabla de verdad est compuesto nicamente por ceros, el razonamiento,
adems de ser falso tambin, recibe el nombre de contradiccin.
Practiquemos un poco. Vamos a hallar la tabla de verdad de las
siguientes expresiones:
(pq)p
(pVq)q
Una vez resueltas quedaran as:
(p q) p
1
1
0
0

1
0
0
0

1
0
1
0

1
1
1
1

1
1
0V

q)

(p
1

Tautologa
Indeterminacin

Los nmeros en color verde indican el orden de las operaciones

lgicas.

Ten en cuenta a la hora de hacer la tabla de verdad de un

razonamiento que si la conectiva une un parntesis con una
proposicin atmica, o bien dos parntesis entre s, has de
conseguir primero el valor del parntesis, cuyo valor vendr
definido por la conectiva que haya en dicho parntesis.

http://matematica1.com/tablas-de-verdad-ejercicios-y-problemas-resueltos-enpdf-y-videos/
http://matematica1.com/tablas-de-verdad-logicas-pdf/