EJERCICIOS DE LÓGICA SIMBÓLICA:
De acuerdo con la lección 6, haga los
siguientes ejercicios:
1.- Indique la verdad o falsedad de
los siguientes argumentos:
a.
(París es la capital de Francia ^ Roma es la capital de España) v (París es la capital
de Francia ^ ¬ Roma es la capital de España).
b.
Roma
es la capital de Italia ^ ¬ (París es la capital de Francia v Estocolmo la capital de Suecia)
c.
(Estocolmo
es la capital de Noruega v ¬ París es la capital de Francia) v ¬ (¬ Estocolmo
es la capital de Suecia ^ ¬ Londres es la capital de Inglaterra)
2.- Si A, B, y C son enunciados
verdadero, y siendo X, Y y Z, enunciados falsos, ¿cuál es la característica de
los siguientes enunciados, serán verdaderos o falsos?
a.
¬
( X ^ Z) v (B ^ C)
b.
¬
( B v Z) ^ ¬ (X v ¬ Y)
c.
¬
[( B ^ C) ^ ¬ (C ^ B)]
d.
¬{[(¬
A ^ B) ^ (¬ X ^ Z)] ^ ¬ [(A ^ ¬ B) v ¬ (¬Y ^ ¬ Z)]}
e.
¬{¬[(
B ^ ¬ C) v (Y ^ ¬ Z)] ^ [(¬B v X) v ( B v ¬ Y)]}
3.- Si sabemos que A y B son
verdaderos y que X y Y son falsos. Pero desconocemos los valores de verdad de P
y Q, ¿Cuáles serán los valores de verdad de los siguientes enunciados?
a.
(¬
A v P) ^ (¬ P v Y)
b.
[P
v (¬ Q v X)] ^ ¬ [(P v Q) ^ (P v X)]
c.
P
v ¬ ( ¬ A v X)
d.
¬
(P ^ Q) v (Q ^ P)
e.
¬
[¬ P v (¬ Q v A)] v [¬ ( ¬ P v Q) v (¬ P v A)]
