LÓGICA - EJERCICIOS DE LÓGICA SIMBÓLICA

 

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)]