PRODUCTO ACADMICO UNIDAD III .

(Puntaje mximo 20 puntos) FECHA DE ENTREGA:

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 q) ^ [(pq) v (p v q)] = (p v
q)
( ~ p v r) (q ~s) = ~ ( q ~s)
~ ( ~p v r)
(pq) ^ (q v r) = [(pq) ^ q] v
[(pq) ^ r]
II. Simbolice y simplifique utilizando leyes y equivalencias lgicas los siguientes
enunciados. Marque la alternativa que contiene la respuesta (3 ptos)
2.1. Si no existen pruebas, entonces mi patrocinado es inocente; sin embargo
existen pruebas
a) Mi patrocinado es inocente
b) Mi patrocinado no es inocente
c) No existen pruebas
d) Existen pruebas, pero mi patrocinado es inocente
e) Existen pruebas
2.2. Un administrador informa al dueo de la empresa lo siguiente: es falso que;
no ha habido ventas o que no ha aumentado las ganancias
a) Ha habido ventas y ha habido ganancias
b) No ha habido ventas y no ha habido ganancias
c) Ha habido ventas, pero no ha habido ganancias
d) Si hay ventas, entonces hay ganancias
e) Como no hay ventas, entonces no hay ganancias
III. Escriba el nmero de las lneas en las cuales se han aplicado las leyes o
equivalencias que se muestran: (5ptos)

EQUIVALENCIAS UTILIZADAS

Nro de
lneas

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

Identidad
Tercio excluido
Asociativa
Definicion del implicador

^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 )

Teorema de morgan
doble negacin

6.
7.
8.

pvTv(p^q)
Tv(p^q)
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)

1.
2.
3.
4.

~( r q) p
~ ( t v p)
s z
~ ( ~ r ~ s)

/:.

1.
2.
3.
4.

qvz

5. ____________

Morgan (2)

6. _____________

simplif

7. ______________

M T (1y 6)

8. _______________

doble negac. (7)

(p v s) r
~(q v ~s)
tq
~(r ~t) v p

/:. s p

5. ~ (s p)

_____ ____________

6. ~(~s v p)

_________________

7. s~ p

Morgan y doble negacin(6)

8. ~p

_________________

9. ~(r ~t)

_________________

10. ~r v t

_________________

11. ~q s

_________________

12. ~q

_________________

13. ~t

_________________

14. ~r

__________________

14. _________________ SH (3y13)

15. ~(p v s)

__________________

15. ________________ def.implicador

(14)

16. ~p ~s

__________________

(5)

9. ________________
(4)

conmutativa

10. _________________

Morgan (9)

11. ________________

def.implic.(10)

12. ________________

SH (8y11)

13. _________________
Transposicion(12)

17. ~s

_________________

18. s

_________________

19. s~s

_________________

20. ~(sp) (s~s) ________________

21. sp

1. p q
2. s ( t p)
3. p v ( r t)
4. q

/:. q s

__________________

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_____________________