EJERCICIOS RESUELTOS DE LÓGICA - COMPLEMENTO
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)
a. (F v P) ^ (¬ P v F)
i. si P es F à (F v F) ^ (V v F) à F ^ V à F
ii. Si P es V à (F v V) ^ (F v F) à V ^ F à F
b. [P v (¬ Q v X)] ^ ¬ [(P v Q) ^ (P v X)] à [P v (¬Q v F)] ^ ¬ [(P v Q) ^ (P v F)]
|
P |
Q |
(¬ Q v F) |
P v (¬ Q v F) |
(P v Q) |
(P v F) |
¬ [(P v Q) ^ (P v F)] |
[P v (¬ Q v X)] ^ ¬
[(P v Q) ^ (P v X)] |
|
V |
V |
F |
V |
V |
V |
F |
F |
|
V |
F |
V |
V |
V |
V |
F |
F |
|
F |
V |
F |
F |
V |
F |
V |
F |
|
F |
F |
V |
V |
F |
F |
V |
V |
a. P v ¬ ( ¬ A v X) à P v V à Siendo P: V o F, P v V à V
b. ¬ (P ^ Q) v (Q ^ P) (Resuelto en artículo anterior)
c. ¬ [¬ P v (¬ Q v A)] v [¬ ( ¬ P v Q) v (¬ P v A)]
|
P |
Q |
(¬ Q v V) |
¬P v (¬ Q v V) |
(¬P v Q) |
(¬ P v V) |
[¬ ( ¬ P v Q) v (¬
P v A)] |
¬ [¬ P v (¬ Q v A)]
v [¬ ( ¬ P v Q) v (¬ P v A)] |
|
V |
V |
V |
V |
V |
V |
V |
V |
|
V |
F |
V |
V |
F |
V |
V |
V |
|
F |
V |
V |
V |
V |
V |
V |
V |
|
F |
F |
V |
V |
V |
V |
V |
V |
