Documentos de Académico
Documentos de Profesional
Documentos de Cultura
DEL FORTALECIMIENTO
DE LA SOBERANÍA NACIONAL “
MATEMATICA SUPERIOR
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
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 ~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)
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)]
p q r s p q r s
V V F F F F V V
V F
F
V
a. (p t) s
(V F) V
(V V)
V
V
a) ~ [(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
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