LABORATORIO N 02

EJERCICIOS DE APLICACIN DE LGICA MATEMTICA: LEYES LOGICAS

1.

Hallar la proposicin equivalente a:

~[(~p)q]
Rta: (pq)

2.

Hallar la proposicin equivalente a:

~{(p q) v [p(~p v q)]}
Rta: (p~q)

3.

Hallar la proposicin equivalente a:

{[(p v q) v (~p v ~q)] (p v q)}
Rta: (p v q)

4.

Hallar la proposicin equivalente a:

{[p(q ~r)] [p (q r)]} v {[p q (p v q)] v [r (~r v q) p]}

Mg. David Anco Tacuri