CONTROL DE LECTURA 2 UNIDAD III .

(Puntaje mximo 20 puntos) FECHA DE ENTREGA:

Domingo 15 de noviembre
Enviarlo como archivo PDF o escaneado.

I. Escriba el nombre de las siguientes equivalencias utilizadas (3ptos)

ESQUEMAS EQUIVALENTES NOMBRE DE LA EQUIVALENCIA APLICADA

( ~ p v r) (q ~s) = ~ ( q ~s) ~ ( ~p v r)

(p v q) ^ [(pq) v (p v q)] = (p v q)

(pq) ^ (q v r) = [(pq) ^ q] v [(pq) ^ r]

II. Escriba el nmero de las lneas en las cuales se han aplicado las leyes o equivalencias que se muestran:

1. (3 ptos)

EQUIVALENCIAS UTILIZADAS Nro de ESQUEMA RESUELTO

lneas
[~(p~q)v~q]~q
1. [ ~ ( ~p v ~ q ) v ~ q ] ~ q
Teorema de Morgan 2. [ (p ^ q ) v ~ q ] ~ q
Absorcion 3. ~[ (p ^ q ) v ~ q ] v ~ q
Definicion del implicador 4. [ ~ (p ^ q ) ^ q ] v ~ q
5. [ (~ p v ~q ) ^ q ] v ~ q
6. ( q ^ ~ p) v ~ q
7. (~p v ~ q)

2.(5ptos)

EQUIVALENCIAS UTILIZADAS Nro de ESQUEMA RESUELTO

lneas
[ ( p r ) ( q r ) ] ( p q )
1. [ ~ ( p v r ) ^ ~( ~q v ~r ) ] ( p ^ q )
Identidad 2. ~ [ ~ ( p v r ) ^ ~( ~q v ~r ) ] v ( p ^ q )
Tercio excluido 3. [ ( p v r ) v ( ~q v ~r ) ] v ( p ^ q )
Asociativa 4. [ ( p v ~q ) v (r v ~r ) ] v ( p ^ q )
Definicion del implicador 5. [ p v (~q v T) ] v ( p ^ q )
Teorema de morgan 6. p v T v ( p ^ q )
doble negacin 7. T v ( p ^ q )
8. T
II. Complete la demostracin 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.. (9ptos)

EJERCICIO 1 EJERCICIO 2
1. (r v p)
1. p v ( q r )
2. p q /:. s v q
2. p s
3. (s v q) _____________________
3. s r /:. r
4. s q _____________________
4. ________________ Silog. Hipottico(2y3)
5. q __________________________
5. ___________________ Conmutativa (1)
6. p _ modus tollens (5y2)
6. _________________ Def. implicador (5)
7. r p ________________________
7. _______________ Silog. Hipottico(4y6)
8. p _____________________________
8. _________________ Def. implicador (7)
9. p ________________________________
9. ___________________ Disritbutiva (8)
10. __________________Simplificacion (9) 10. p p ___________________________
11. __________________ Idempotencia (10) 11. (s v q) ( p p)________________
12. s v q ____________________________
EJERCICIO 3
1. p q
2. s ( t p)
3. p v ( r t) /:. q s
4. q __________________
5. (p q) ( q p) ___________
6. p q ____________________
7. p _______________________
8. ( r t) __________________
9. ( r v t) ________________
10. r t _ morgan y doble negacin(9)
11. t ______________________
12. p t __________________
13. s _______________________
14. q s_____________________