Embed Size (px)
DESCRIPTION
CL02_Lógica
Citation preview
CONTROL DE LECTURA N° 02 LÓGICA
CONTROL DE LECTURA N° 2
CONTROL DE LECTURA 2 UNIDAD III .(Puntaje máximo 20 puntos) Enviarlo como archivo PDF o escaneado.I. Complete las leyes y equivalencias lógicas que se utilizaron en los siguientes validaciones para determinar si las inferencias son contingentes, tautológicos o contradictorios. (10ptos)
1. [ ~ ( p ~ q ) v ~ q ] ~ q
[ ~ ( ~p v ~ q ) v ~ q ] ~ q _______________________
[ (p ^ q ) v ~ q ] ~ q ___________________________
~[ (p ^ q ) v ~ q ] v ~ q _____________________________
[ ~ (p ^ q ) ^ q ] v ~ q _____________________________
[ (~ p v ~q ) ^ q ] v ~ q ________________________________
( q ^ ~ p) v ~ q _________________________________
(~p v ~ q) _________________________________________
2. [ ( p r ) ( q r ) ] ( p q )
~{~ [ ~ ( ~ P r ) ~ ( q ~ r ) ] } v ( p ^ q ) ______________________________
~{~ [ ~ ( P v r ) ~ ( ~q v ~ r ) ] } v ( p ^ q ) _______________________________
~{~ [ ( ~P ^~ r ) ( q ^ r ) ] } v ( p ^ q ) __________________________________
~{~ [~ ( ~P ^~ r ) v ( q ^ r ) ] } v ( p ^ q ) _________________________________
~{~ [ ( P v r ) v ( q ^ r ) ] } v ( p ^ q ) __________________________
( p v r ) v ( q ^ r ) v ( p ^ q ) ____________________________
p v [r v ( q ^ r ) ] v ( p ^ q ) _________________________________
p v r v ( p ^ q ) ____________________________________
r v p v ( p ^ q ) _______________________________________
r v [p v ( p ^ q ) ] __________________________________
CONTROL DE LECTURA N° 02 LÓGICA
( r v p) ___________________________________________
3. [ ( q p ) ( p q ) ] q
~ [ ~ {( ~q p ) ^ ( p ~q )} ( p v q ) ] ~q ___________________
~ [ ~ {( q v p ) ^ (~p v ~q )} ( p v q ) ] ~q _______________________
~ [ ( q v p ) ^ (~p v ~q ) v ( p v q ) ] ~q ________________________
( q v p ) ^ (~p v ~q ) v ( p v q ) v ~q ______________________________
(p v q) ^ (~p v ~q ) v (p v q) v ~q _______________________________
(p v q) v [ ( p v q ) ^ (~p v ~q ) ] v ~q _____________________________
(p v q) v ~q ________________________________________
p v ( q v ~q ) _______________________________________________
p v T __________________________________________________
T ________________________________________________________
4. [ ( p r ) ( q r ) ] ( p q )
[ ~ ( p v r ) ^ ~( ~q v ~r ) ] ( p ^ q ) ___________________________
~ [ ~ ( p v r ) ^ ~( ~q v ~r ) ] v ( p ^ q ) ______________________________
[ ( p v r ) v ( ~q v ~r ) ] v ( p ^ q ) Ley de morgan y doble negación
[ ( p v ~q ) v (r v ~r ) ] v ( p ^ q ) conmutativa y Asociativa
[ p v (~q v T) ] v ( p ^ q ) ____________________________
p v T v ( p ^ q ) _______________________________________
T v ( p ^ q ) ________________________________________
T _________________________________________
CONTROL DE LECTURA N° 02 LÓGICA II. Complete la demostración de validez de los siguientes argumentos formalizados, siguiendo la secuencia planteada. En los ejercicios 1,2 y3 escriba en los espacios en blanco el proceso realizado o el esquema resultante. En el 4to ejercicio realice la demostración de validez mediante la prueba que considere pertinente. (10ptos)
EJERCICIO 1 EJERCICIO 2
1. p v ( q r )2. p s3. s r /:. r4. ________________ Silog. Hipotético(2y3)5. ___________________ Conmutativa (1)6. _________________ Def. implicador (5)7. _______________ Silog. Hipotético(4y6)8. _________________ Def. implicador (7)9. ___________________ Disritbutiva (8)10. __________________Simplificacion (9)11. __________________ Idempotencia (10)
1. ¬ (r v ¬ p)2. p ¬ q /:. s v ¬ q3. ¬ (s v ¬ q) _____________________4. ¬ s ¬ ¬ q _____________________5. ¬ ¬ q __________________________6. ¬ p _____________________________7. ¬ r ¬¬ p ________________________8. ¬¬ p _____________________________9. p ________________________________10. p ¬ p ___________________________11. ¬ (s v ¬ q) ( p ¬ p)________________12. s v ¬ q ____________________________
EJERCICIO 3
1. p ↔ ¬ q2. s ¬ (¬ t ¬ p)3. p v ¬ ( r t) /:. q ¬ s4. q __________________5. (p ¬ q) (¬ q p) ___________6. p ¬ q ____________________7. ¬ p _______________________8. ¬ ( r t) __________________9. ¬ (¬ r v t) ________________10. r ¬ t __________________11. ¬ t ______________________12. ¬ p ¬ t __________________13. ¬ s _______________________14. q ¬ s_____________________
EJERCICIO 41. ¬ q v (r ↔ s)2. ¬ (z s)3. ¬ ( t z) ¬ (s r)4. (¬ p q) v q //:. ¬ r v ¬ t
