LA VERDAD

Home
EJERCICIOS DE TABLAS DE VERDAD Y FORMALIZACIÓN MÁS TABLAS DE VERDAD
Construya la tabla de verdad de las siguientes fórmulas. Indique qué fórmulas son tautológicas, cuáles contradictorias y cuáles indeterminadas.
1.
p
&
q
->
p
V
V
V
V
V
V
F
F
V
V
F
F
V
V
F
F
F
F
V
F
TAUTOLOGÍA
2.
(
p
->
q
)
&
(
p
&
¬
q
)

V
V
V

F

V
F
F
V


V
F
FF

V
V
V
F


F
V
V

F

F
F
F
V


F
V
F

F

F
F
V
F

CONTRADICCIÓN
3.
p
v
(
q
->
r
)
V
V

V
V
V

V
V

V
F
F

V
V

F
V
V

V
V

F
V
F

F
V

V
V
V

F
F

V
F
F

F
V

F
V
V

F
V

F
V
F

INDETERMINACIÓN
4.
(
p
->
q
)
&
q
->
p

V
V
V

V
V
V
V

V
F
F

F
F
V
V

F
V
V

V
V
F
FF
V
F

F
F
V
F
INDETERMINACIÓN
5.
(
p
->
q
)
&
(
q
->
r
)
->
(
p
->
r
)

V
V
V

V

V
V
V

V

V
V
V


V
V
V

F

V
F
F

V

V
F
F


V
F
F

F

F
V
V

V

V
V
V


V
F
F

F

F
V
F

V

V
F
F


F
V
V

V

V
V
V

V

F
V
V


F
V
V

F

V
F
F

V

F
V
F


F
V
F

V

F
V
VV

F
V
V


F
V
F

V

F
V
F

V

F
V
F

TAUTOLOGÍA
6.
(
p
->
q
)
&
¬
p
->
¬
q

V
V
V

V
F
V
V
F
V

V
F
F

F
F
V
V
V
F

F
V
V

F
V
F
F
F
V

F
V
F

V
V
F
V
V
F
INDETERMINACIÓN
7.
p
->
(
q
->
r
)
V
V

V
V
V

V
F

V
F
F

V
V

F
V
V

V
V

F
V
F

F
V

V
V
V

F
V

V
F
F

F
VF
V
V

F
V

F
V
F

INDETERMINACIÓN
8.
¬
(
p
v
q
)

¬
p
&
¬
q
F

V
V
V

V
F
V
F
F
V
F

V
V
F

V
F
V
F
V
F
F

F
V
V

V
V
F
F
F
V
V

F
F
F

V
V
F
V
V
F
TAUTOLOGÍA
9.
p
v
q
->
(
r
v
s
->
p
)
V
V
V
V

V
V
V
V
V

V
V
V
V

V
V
F
V
V

V
V
V
V

F
V
V
V
V

V
V
V
V

F
F
F
V
VV
V
F
V

V
V
V
V
V

V
V
F
V

V
V
F
V
V

V
V
F
V

F
V
V
V
V

V
V
F
V

F
F
F
V
V

F
V
V
F

V
V
V
F
F

F
V
V
F

V
V
F
F
F

F
V
V
F

F
V
V
F
F

F
V
V
V

F
F
F
V
F

F
F
F
V

V
V
V
F
F

F
F
F
V

V
V
F
F
F

F
F
F
V

F
V
V
F
F

F
F
F
V

F
F
F
V
F

INDETERMINACIÓN
10.
¬
(p
v
q
)

¬
p
v
¬
q
F

V
V
V

V
F
V
F
F
V
F

V
V
F

F
F
V
V
V
F
F

F
V
V

F
V
F
V
F
V
V

F
F
F

V
V
F
V
V
F
INDETERMINACIÓN
Formalice los siguientes argumentos. Una vez formalizados, Haga su tabla de verdad e indique si son válidos (tautologías) o no.
[Los ejercicios están tomados de la excelente introducción a la lógica proposicional deEulalia Pérez Sedeño.
Eulalia Pérez Sedeño: Ejercicios de Lógica, Madrid: s. XXI de España 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 d

errite. (p v q) & ¬ q -> p
(p
v
q)
&
¬
q
->
p
V
V
V
F
F
V
V
V
V
V
F
V
V
F
V
V
F
V
V
F
F
V
V
F
F
F
F
FV
F
V
F
Argumento válido. Tautología.
1. Juan partirá para Japón, si María se queda en Venecia. Rosa viajará a Luxemburgo o Juan no partirá para Japón. O María no se queda en Venecia o Rosa no viajará a Luxemburgo. Por consiguiente, María no se queda en Venecia.
Juan Japón: p
María Venecia: q
Rosa Luxemburgo: r
((q -> p) & (r v ¬p)) & (¬q v ¬r) -> ¬q
(
(
q
->
p
)
&
(
r
v
¬
p)
)
&
(
¬
q
v
¬
r
)
->
¬
q


V
V
V

V

V
V
F
V


F

F
V
F
F
V

V
F
V


V
V
V

F

F
F
F
V


F

F
V
V
V
F

V
F
V


F
V
V

V

V
V
F
V


V

V
F
V
F
V

V
V
F


F
V
V

F

F
F
F
V


F

V
F
V
V
F

V
V
F


V
F
F

F

V
V
V
F


F

F
V
F
F
V

V
F
V


V
F
F

F

F...