CONTROL DE LECTURA 2 UNIDAD III .

(Puntaje mximo 20 puntos)

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)

contrarreciproco o transposicion
absorcion

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

distributiva

(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

Teorema de Morgan
Absorcion
Definicion del implicador

Nro de
lneas

2,4,5
6,7
1,3

ESQUEMA RESUELTO
[~(p~q)v~q]~q
1. [ ~ ( ~p v ~ q ) v ~ q ] ~ q
2. [ (p ^ q ) v ~ q ] ~ q

3. ~[ (p ^ q ) v ~ q ] v ~ q
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

Identidad
Tercio excluido
Asociativa
Definicion del implicador
Teorema de morgan
doble negacin

Nro de
lneas

6,7,8
5
4
1,2
3
1,3

ESQUEMA RESUELTO
[ ( p r ) ( q r ) ] ( p q )
1. [ ~ ( p v r ) ^ ~( ~q v ~r ) ] ( p ^ q )
2. ~ [ ~ ( p v r ) ^ ~( ~q v ~r ) ] v ( p ^ q )
3. [ ( p v r ) v ( ~q v ~r ) ] v ( p ^ q )
4. [ ( p v ~q ) v (r v ~r ) ] v ( p ^ q )
5. [ p v (~q v T) ] v ( p ^ q )
6. p v T v ( p ^ q )
7. T v ( p ^ q )
8.

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. En el 4to ejercicio realice la demostracin de validez mediante
la prueba que considere pertinente. (9ptos)
EJERCICIO 1

1. p v ( q r )
2. p s
3. s r
/:. r
4. ________________
Silog. Hipottico(2y3)
pr
5. ___________________
Conmutativa (1)
(p vq) ^r
6. _________________
Def. implicador (5)
(p q)^r
7. _______________
Silog. Hipottico(4y6)
r ^ (q r)
8. _________________
Def. implicador (7)
r ^ (q v r)
9. ___________________
Disritbutiva (8)
(r^q) v (r v r)
10. __________________Simplificacion
(9)
(r v r)
11. __________________
Idempotencia (10)
r
EJERCICIO 3
1. p q
2. s ( t p)
3. p v ( r t)
/:. q s
4. q
__________________
premisa adicional
5. (p q) ( q p) ___________
def. coimplicador(1)
6. p q ____________________
simplificacion (5)
7. p _______________________
M. tollens (6 y 4)
8. ( r t) silogismo
__________________
disyuntivo (3 y 7)
9. ( r v t) def.
________________
del implicador (8)
10. r t _ morgan y doble negacin(9)
11. t ______________________
simplificacion (10)
12. p t __________________
conjuncion (7 y 11)
13. s _______________________
M. tollens (2 y 12)
14. q s_____________________
prueba condicional (4 y13)

EJERCICIO 2

1. (r v p)
2. p q
/:. s v q
premisa adicional
3. (s v q) _____________________
4. s q _____________________
morgan (3)
5. q __________________________
simplificacion (4)
6. p _ modus tollens (5y2)
7. r p ________________________
morgan (1)
8. p _____________________________
simplificacion (7)
9. p ________________________________
doble negacion (8)
10. p p ___________________________
adjuncion (6 y 9)
11. (s v q) ( p p)________________
prueba condicional(3,10
12. s v q ____________________________
prueba de reduccion a lo absurdo (11)