UNIVERSIDAD PERUANA LOS ANDES

CARRERA PROFESIONAL DE MEDICINA VETERINARIA Y

ZOOTECNIA

 ASIGNATURA: MATEMATICA GENERAL

 TEMA: IMPLICACIÓN Y EQUIVALENCIA LÓGICAS; EJERCICIOS

 DOCENTE: ING. John Fredy Rojas Bujaico

 ALUMNOS DEL GRUPO:

 *LILIANA CIELO SORIANO PALOMINO

 *YULI RUSS QUISPE TINTAYA

CICLO: I
 IMPLICACIÓN Y EQUIVALENCIA LÓGICAS

1. Determine si son equivalentes:

a) [(p  q)   (q  p)]  [(p  q)  (q  p)]

[(p  q)  (q  p)]  [(p  q)  (q  p)]
[(p  q)  (q  p)]  [(p  q)  (q  p)]
(q  p)  [(p  q)  (q  p)]
(q  p)  (q  p)

b) (p  q)  (p  q)
[(p  q)  (q  p)]  [(p  q)  (q  p)]
(p  q)  (q  p)  (p  q)  (q  p)
p  (q  p)  p  (q  p)
(p  q)  (p  q)

c) [p  (q  r)]  [(p  q)  (q  r)]

[p  (q  r)]  [(p  q)  (q  r)]
[p  (q  r)]  [p  (q  q)  r]
[p  (q  r)]  [(p  V)  r]
[p  (q  r)]  (V  r)
[p  (q  r)]  V

d) [p  (q  r)]  [p  (q  r)]

p  (q  r)  [p  (q  r)]

e) [ (p  q)]  (p  q)

(p  q)  (p  q)

Rpta: a, b y d son equivalentes.

2. Probar que las tres proposiciones siguientes son equivalentes:

p  (q  r)  (p  q)  r  (p  q)  (p  r)
p  (q  r)  (p  q)  r  (p  q)  (p  r)
p  (q  r)  (p  q)  r  (p  p)  q  r
p  (q  r)  p  (q  r)  p  (q  r)
3. Probar que son equivalentes:
p  [(p  q)  (p  q)]  (p  q)
p  [ (p  q)  (p  q)]  (p  q)
p  [(p  q)  (p  q)]  (p  q)
p  [p  (q  q)]  (p  q)
p  (p  V)  (p  q)
p  p  (p  q)
p  p

4. Transformar la proposición [p  (q  r)] en otra equivalente que contenga solo

conectivos “” y “”.

[p  (q  r)]  [p  (q  r)]

[p  (q  r)]  [p  (q  r)]
p  (q  r)  p  (q  r)
p  (q  r)  p  (q  r)

5. Simplifique las siguientes proposiciones usando álgebra lógica:

a) p  [q  (p  q)]
p  [q  (p  q)] Ley condicional
p  [p  (q  q)] Ley asociativa
p  (p  q) Ley de idempotencia
(p  p)  q Ley asociativa
Vq Ley del tercio excluido
V Formas normales

b) (p  r)  r
(p  r)  (r  p)  r Ley bicondicional
(p  r)  (r  p)  r Ley condicional
(p  r)  p  (r  r) Ley asociativa
(p  r)  p  r Ley de idempotencia
(r  p)  p Ley de absorción
r  (p  p) Ley asociativa
r  F Ley del tercio excluido
F Formas Normales
c) [(p  q)  (p  q)]
{[(p  q)  (p  q)]  [(p  q)  (p  q)]} Ley bicondicional
{[(p  q)  (p  q)]  [((p  q))  (p  q)]} Ley condicional
{[(p  q)  (p  q)]  [(p  q))  (p  q)]} Ley de De Morgan
[(p  (q  q)]  [(p  p)  (q  q)]} Ley distributiva
[(p  V)  (p  V)] Ley del tercio excluido
(p  V) Formas normales
(p) Formas normales
p Ley de doble negación

d) p  [(q  p)  (p  q)]

p  [(q  p)  (p  q)] Ley condicional
p  [(q  p)  (p  q)] Ley de De Morgan
p  [(q  q)  (p  p) Ley asociativo
p  (q  p) Ley de idempotencias
p Ley de absorción

e) a  [(b  b)  (a  a)]

a  [(b  b)  (a  a)] Ley condicional
a  (b  a) Ley de idempotencia
a  b Ley de absorción

LEYES DEL ÁLGEBRA PROPOSICIONAL

1. [((p)  q)  q]  q
[((p)  q)  q]  q Ley condicional
[((p)  q)  q]  q Ley de De Morgan
[(p  q)  q]  q Ley de De Morgan
(p  q)  q Ley de absorción
p  (q  q) Ley asociativa
pV Ley de tercio excluido
V Formas normales

2. p  (p  q)  p
pp Ley de absorción
(p p)  (p p) Ley bicondicional
(p p) Ley de idempotencia
(p  p) Ley condicional
V Ley del tercio excluido
 3.Simplificar la siguiente proposición
~ [~ (p^q ) ->~q] v q

Solucion:

= ~ [ ~ (p ^q) -> ~ q ] v q Ley incondicional

= ~ [( (p ^ q )) v~ q ] v q ley de doble negación
= [~ (p ^ q ) ^ ~ (~ q)] v q ley de Morgan
= [(~ p v ~ q ) ^ q)] v q ley conmutativa
= q v[ q ^ (~ p v ~q )] ley de absorción
=q

Solución:q

4.simplifica la siguiente proposición :

[ ( ( ~ p ) ^ q ) -> ( r ^ ~ r )] ^ ~ q

= [ ( (~ p ) ^ q ) -> F ] ^ ~ q ley del tercio excluido

= [ ( ~ p ( ( ~ p ) ^ q ) ) -> F ] ^ ~ q ley incondicional
=[ ( p v ~ q ) v F ] ^ ~ q ley de Morgan
=[ ( p v ~ q ) ] ^ ~ q formas normales
=~ q ley de absorción
5. Determine si ( a) y ( b ) son equivalentes

a) p -> ( r v ~ q)

b) (q -> ~ p) v (~ r -> p)

Solución:
a) . p -> ( r v ~ q) = ( ~ p ) v ( r v ~ q )

b) . (q -> ~ p) v (~ r -> p) = [ ~ q v ~ p ] v [ ( ~ r ) v ~ p ]
=~q v~p v (rv~p)
=~qv(~pv~p)vr
= ( ~ q ) v ( ~p ) v r
=(~p)v(rv~q)

Siendo (1) y (2) iguales , entonces a = b