SESION 03 Ejercicios Resueltos de Tablas de Verdad y Formalización
SESION 03 Ejercicios Resueltos de Tablas de Verdad y Formalización
SESION 03 Ejercicios Resueltos de Tablas de Verdad y Formalización
Indique qué
fórmulas son tautológicas, cuáles contradictorias y cuáles indeterminadas.
1. ( p -> q ) & ¬ p -> ¬ q
2. p -> ( q -> r )
3. ¬ ( p v q ) <-> ¬ p & ¬ q
4. p v q -> ( r v s -> p )
5. ¬ ( p v q ) <-> ¬ p v ¬ q
Formalice los siguientes argumentos. Una vez formalizados, Haga su tabla de verdad e indique si
son válidos (tautologías) o no.
1.- Jaime se come el polo o se le derretirá; no se derrite el polo; por tanto, Jaime se come
2. Si la Luna es mayor que la Tierra, la Tierra es mayor que el Sol. Júpiter es mayor que Plutón, si la Tierra es
mayor que el Sol. Por tanto, si la Luna es mayor que la Tierra, Júpiter es mayor que Plutón.
3. Cuando viajo me mareo. Siempre que me mareo, me entra un hambre atroz. Así pues, siempre que me
entra un hambre atroz, viajo.
1. ( p -> q ) & ¬ p -> ¬ q
( p → q ) ^ n p → n 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
3. ¬ ( p v q ) <-> ¬ p & ¬ q
¬ ( 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
2. p -> ( q -> r )
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 V F V V
F v F V F
4. p v q -> ( r v s -> p )
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 V
V 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
5. ¬ ( p v q ) <-> ¬ p v ¬ q
¬ ( 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
1. 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 q) & N 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 F V F V F
No es tautológico.