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
Definicin de implicador

(p v q) ^ [(pq) v (p v q)] =
(p v q)
Contra reciproco del implicador
( ~ p v r) (q ~s) = ~ ( q
~s) ~ ( ~p v r)

Distributiva

(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
p: existen pruebas
q: mi patrocinado es inocente

(~pq)^ p
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
p: habido ventas
q: aumentado las ganancias

~ (~pv~q)

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

Identidad

6,7,8

Tercio excluido

Asociativa

Definicion del implicador

Teorema de morgan
doble negacin

1,2
3
3

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

1.
2.
3.
4.
5.

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

/:.

qvz
Morgan (2)

1.
2.
3.
4.

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

/:. s p

6. ___~ p _______
(5)

simplif

5. ~ (s p)
(4)_____

7. ___( r q) ______
6)

M T (1y

6. ~(~s v p)
_Definicin de
implicacin (5)

8. __~_(~( r q)) ____

negac. (7)

doble

9. ___~ (~ s ~ r)
conmutativa (4)
10.
__ (s v r) ________
Morgan (9)
11.
___~ s r_______
def.implic.(10)
12.
____ ~ s q_______
SH (8y11)
13.
______~ q s ___
Transposicion(12)
14.
_____~ q z____________
SH (3y13)
15.
______ q v z ___
def.implicador (14)

___negacin

7. s~ p
negacin(6)

Morgan y doble

8. ~p
(8)________

__simplificacion

9. ~(r ~t)
8)_________

__ SD (4 y

10.
~r v t
(9)___

_____Morgan

11.
~q s
(2)_____

______Morgan

12.
~q
_____simplificacion (11)_
13.
~t
12)_________

___MT (3 y

14.
~r
13)_____

___SD(10 y

15.

____MT (1 y

~(p v s)

14)_________
16.
~p ~s
(15)_________

__Morgan

17.
~s
______simplificacion (16) _
18.
s
_____negacion (17)______
19.
s~s
_____Adjuncin (17 y 18)__
20.
~(sp) (s~s)
___condicional (5 y 19)_
21.
sp
____implicador (20) _______

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

/:. q

___negacion (MP

5. (p q) ( q p)
__coimplicador (1)_
6. p q ___simplificacion
(5)______
7. p _______MD (6 y 4)______
8. ( r t) ____SD (3 y 7)______
9. ( r v t)
(8)____

____def.impli

10.
r t morgan y doble
negacin(9)
11.
t __simplificacion
(10)______
12.
p t ___Adjuncin (7
y 11)____
13.
s ____MT (2 y
12)__________

14.
q s_____condicional
(4 y 13) ______