“AÑO

DEL FORTALECIMIENTO
DE LA SOBERANÍA NACIONAL “

UNIVERSIDAD PERUANA LOS ANDES

Facultad de ciencias de la salud

Especialidad: MEDICINA VETERINARIA Y ZOOTECNIA
Modalidad virtual

MATEMATICA SUPERIOR

Docente: ING. John Fredy Rojas Bujaico

Integrantes:
 David Joel Ponce Ymbertis
 Kater Huamani Arias
 Sandra Salome Huamaccto

CICLO: 1er
GRUPO: NUMERO 5

Perú–2022-I
 PROPOSICIONES COMPUESTAS
6.
I. ~ (p  q)  (p  ~q)

p q ~p ~q ~ (p  q)  (p  ~q)
V V F F F F V
V F F V V V V
F V V F V F F
F F V V V V V

II. ~ (p  q)  (p  ~q)
p q ~p ~q ~ (p  q)  (p  ~q)
V V F F F F V
V F F V V V V
F V V F F V F
F F V V F F V

III. ~ (p  q)  (~p  ~q)

p q ~p ~q ~ (p  q)  (~p  ~q)
V V F F F F V
V F F V V F F
F V V F V F F
F F V V F F V

Rpta: III

p Q r ~q ~r ~ (p  q)  (q  ~r)
V V V F F F F F
V V F F V F F V
V F V V F V V V
V F F V V V V V
F V V F F F F F
F V F F V F F V
F F V V F F F V
F F F V V F F V
7. ~ (p  q)  (q  ~r)
a) p  (p  ~r)  (~q)

p Q r ~q ~r p  (p  ~r)  (~q)
V V V F F V F F
V V F F V V F F
V F V V F V V V
V F F V V V V V
F V V F F F F F
F V F F V F F F
F F V V F F F V
F F F V V F F V
b) p  (~q)  ~ (q  r)
 p Q r ~q ~r p  (~q)  ~ (q  r)
V V V F F F F F
V V F F V F F V
V F V V F V V V
V F F V V V V V
F V V F F F F F
F V F F V F F V
F F V V F F F V
F F F V V F F V
c) (p  ~q)  [(p  ~r)  ~q]

p Q R ~q ~r (p  ~q)  [(p  ~r)  ~q]

V V V F F F F F
V V F F V F F F
V F V V F V V F
V F F V V V V V
F V V F F F F F
F V F F V F F F
F F V V F F F F
F F F V V F F F
Rpta: Todo
8. a) ~ [(~ (p  q))  ~q]  (p  q)

p q ~p ~q ~ [(~ (p  q))  ~q]  (p  q)

b) V V F F F F V ~
V F F V F V F
F V V F F F V
F F V V F F V
[(~p)  q]  (p  q)

p q ~p ~q ~ [(~p)  q]  (p  q)
c) V V F F V V V ~
{(p V F F V F V F 
q) F V V F F F V 
[p F F V V V V V 
(~p  q)]}  (p  ~q)
p q ~p ~q ~ {(p  q)  [p  (~p  q)]}  (p  ~q)
V V F F F V F
V F F V V V V
F V V F V V V
F F V V V V V

Rpta: c
9. simplificar: [(~p  q) → (r  ~r)]  ~q

[(~p  q) → (r  ~r)]  ~q
[~ (~p  q)  (r  ~r)]  ~q
[(p  ~q)  F]  ~q
 (P v ~q)  ~q
~q
Logica ley de Morgan y tecio excluido, leyes de algebra proporcional,,
formas normales para confuncion y disyunción, normales de ley de
absorción la primera ley.
10.simplificar: [(q → ~p) → (~p → ~q)]  ~ (p  q)

[(q → ~p) → (~p → ~q)]  ~ (p  q)

[(~q v p) → (p v ~q)]  (p  q)
[~ (q v ~p) v (p v –q)  ~ (p  q)
[(~q  p) v p v ~q] ^ (~p v ~q)
(p v ~q)  ~ (p  q)
(p  ~q)  (~p  ~q)
~q  (p  ~p)
~q  F
~q
Ley condicional, ley condicional, morgan

11. De las siguientes proposiciones, ¿Cuáles son equivalentes entre sí?

A). Es necesario que juan no vaya al cine para que termine su tarea.
B). No es cierto que juan termine su tarea y vaya al cine.
C). Juan no terminará su tarea ya no irá al cine.

B,c

12.

a b
p q q p  q (a)  q [b]-->p
V V F V V V
V F V V F V
F V F F F V
F F V V F V
¿Cuáles son tautologías?

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

a b
p q pɅq [a] v q [b] <---> q
V V V V V
V F F V F
F V F F F
F F F F V

a b c d e
p q r p r q  r p  (a) ( p  q)  (p  r) (c)  (d) (b)  (e)
V V V F F V F F F F V
V V F F V V F F F F V
V F V F F F F F F F V
V F F F V V F F F F V
F V V V F V V V F V V
F V F V V V V V V V V
F F V V F F F F F F V
F F F V V V V F V V V
 c) [p  (q  r)]  [(p  q)   (p  r)]

Rpta: a y c son tautologías.

p q r s p q r s
V V F F F F V V
 V F

F
V

14. Si se sabe que (p  q) y (p  t) son falsas, ¿Cuáles de las siguientes

proposiciones son verdaderas?
(p  q) (q  t) p=F q=V t=F
FV VF
F F

a. (p  t)  s
(V  F)  V
(V  V)
V

b. [p  (q  p)]

[F  (F  V)]
(F  V)
V

c. [p  (q  t)]  [(p  q)  (q  t)]

[V  (V  V)]  (F  V)  (V  F)
(V  V)  (V  V)
V  V
V
Rpta: Todas
 p q r t p q r t
V F V V F V F F V

V
 a) ~ [(q  ~p) v (q  (r v ~p))]

~ [(q  ~p) v (q  (r v ~p))]

p q r ~p ~q ~r (q  ~p) q  (r v ~p)) (q  ~p) v (q  (r v ~p))

V V V F F F V V V F
V V F F F V V F V F
V F V F V F F F F V
V F F F V V F F F V
F V V V F F V V V F
F V F V F V V V V F
F F V v V F V F V F
F F F V V V V F V F

b) (p  ~q)  [~q V (~r v p)]

a b c
p q r ~q ~r (p  ~q) (~r v p) ~q V (b) (a  c)
V V V F F F V V F
V V F F V F V V F
V F V V F V V V V
V F F V V V V V V
F V V F F F F F F
F V F F V F V V F
F F V V F F F V F
F F F V V F V V F

c) ~ [~q  ~ p]  [q  ~ (p  r)]
a b c d
p q r ~p ~q ~r ~ [~q  ~ p] (p  r) ~ (p  r) q  (c) (a)  (d)
V V V F F F F V F F F
V V F F F V F F V V F
V F V F V F V V F V V
V F F F V V V F V V V
F V V V F F F V F F F
F V F V F V F V F F F
F F V v V F F V F V F
F F F V V V F V F V F

Respuesta: Todos son equivalentes

a) Él es rico, pero no es feliz
b) Él es pobre, pero si es feliz
c) Él no es bajo, pero no es muy ágil