TALLER No.

2
LGICA MATEMTICA
1. Establecer si las siguientes proposiciones son tautologas, indeterminacin o
contradiccin.
a.
b.
c.
d.
e.
f.
g.

(pq) ^ (qp)
[p ^ (q r)] [(p ^ q) (p ^ r)]
(p ~q) q
p (p q)
(p^q) p
[(p ^ q) p] (p q)
[(pq) (rs)] [(p r)] (q s)

2. Simplificar las siguientes proposiciones usando las leyes del algebra de proposiciones.
a.
b.
c.
d.
e.
f.

~[(pp) p]
[(p~q) ^q] p
~[~(p^q) ~q] q
[(~p^q) (V ^ ~V)] ^ ~ q
[(p^q) (p ^ ~q)] (~p ^ ~ q)
[(p q)^( ~q)] (~p).

3. Verificar si es equivalente utilizando las leyes del algebra proposicional.

~ [(pq) (~p^q)] (~p^q) pq