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

ABSORSION

(p v q) ^ [(pq) v (p v q)] = (p v
q)
contra reciproco o transposicin
( ~ p v r) (q ~s) = ~ ( q ~s)
~ ( ~p v r)
(pq) ^ (q v r) = [(pq) ^ q] v
[(pq) ^ r]

distributiva

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

6,7,8

Tercio excluido

Asociativa

Definicion del implicador

1,2

^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

3
1,3

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)

(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

__________________

6. _____________

simplif

(5)

7. ______________

M T (1y 6)

8. _______________

doble negac. (7)

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

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)