Ejercicios Logica
Aula de Filosofía de Eugenio Sánchez Bravo
http://w p.me/pmsl1-2y
May 30, 2011
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
V
V
F
F
&
V
F
F
Fq
V
F
V
F
->
V
V
V
V
p
V
V
F
F
)
&
F
F
F
F
TAUTOLOGÍA
2.
(
p
V
V
F
F
->
V
F
V
V
q
V
F
V
F
(
p
V
V
F
F
&
F
V
F
F
¬
F
V
F
V
CONTRADICCIÓN
3.
p
V
V
V
V
F
F
F
F
v
V
V
V
V
V
F
V
V
(
q
V
V
F
F
V
V
F
F
->
V
F
V
V
V
F
V
V
r
V
F
V
F
V
F
V
F
)
INDETERMINACIÓN
4.
(p
V
V
F
F
->
V
F
V
V
q
V
F
V
F
INDETERMINACIÓN
)
&
V
F
V
F
q
V
F
V
F
->
V
V
F
V
p
V
V
F
F
q
V
F
V
F
)
5.
(
p
V
V
V
V
F
F
F
F
->
V
V
F
F
V
V
V
V
q
V
V
F
F
V
V
F
F
)
&
V
F
F
F
V
F
V
V
(
q
V
V
F
F
V
V
F
F
->
V
F
V
V
V
F
V
V
r
V
F
V
F
V
F
V
F
)-> (
V
V
V
V
V
V
V
V
->
V
V
F
V
¬
F
V
F
V
p
V
V
V
V
F
F
F
F
q
V
F
V
F
TAUTOLOGÍA
6.
(
p
V
V
F
F
->
V
F
V
V
q
V
F
V
F
)
&
V
F
F
V
¬
F
F
V
V
p
V
V
F
F
INDETERMINACIÓN
7.
p
V
V
V
V
F
F
F
F
->
V
F
V
V
V
V
V
V
(
q
V
V
F
F
V
V
F
F
->
V
F
V
V
V
F
V
V
r
V
F
V
FV
F
V
F
)
INDETERMINACIÓN
8.
¬
F
F
F
V
(
p
V
V
F
F
v
V
V
V
F
q
V
F
V
F
)
¬
F
F
V
V
V
V
V
V
p
V
V
F
F
&
F
F
F
V
¬
F
V
F
V
TAUTOLOGÍA
9.
p
V
V
V
v
V
V
V
q
V
V
V
->
V
V
V
(
r
V
V
F
v
V
V
V
s
V
F
V
->
V
V
V
p
V
V
V
)
q
V
F
V
F
->
V
F
V
F
V
V
V
Vr
V
F
V
F
V
F
V
F
)
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
V
F
F
F
F
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
V
F
F
F
V
V
V
V
V
F
V
V
F
F
V
V
F
F
V
V
F
F
F
V
V
V
F
V
V
V
F
V
V
V
F
F
V
F
V
F
V
F
V
F
V
F
V
F
V
V
V
V
V
F
F
F
V
F
F
F
V
V
V
V
V
V
F
F
F
F
F
F
FF
INDETERMINACIÓN
10.
¬
F
F
F
V
(
p
V
V
F
F
v
V
V
V
F
q
V
F
V
F
)
¬
F
F
V
V
V
F
F
V
p
V
V
F
F
v
F
V
V
V
¬
F
V
F
V
q
V
F
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 excelenteintroducción a la lógica proposicional de
Eulalia 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 derrite. (p v q) & ¬ q -> p
(p
V
V
F
F
v
V
V
V
F
q)
V
F
V
F
&
F
V
F
F¬
F
V
F
V
q
V
F
V
F
->
V
V
V
V
p
V
V
F
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
V
V
F
F
V
V
F
F
->
V
V
V
V
F
F
V
V
p)
V
V
V
V
F
F
F
F
&(
V
F
V
F
F
F
V
V
r
V
F
V
F
V
F
V
F
v
V
F
V
F
V
V
V
V
¬
F
F
F
F
V
V
V
V
p)
V
V
V
V
F
F
F
F
)
&(
F
F
V
F
F
F
V
V
¬
F
F
V
V
F
F
V
V
q
V
V
F
F
V
V
F
F
v
F
V
V
V
F
V
V
V
¬
F...
Regístrate para leer el documento completo.