LÓGICA - EJERCICIOS LÓGICA SIMBÓLICA

 

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