You are on page 1of 4

1.- Slo simplificar, aplicando leyes del lgebra de proposiciones. (Ejercicios A, B y C) A) ~(~p q) [q (~p q)] .

)] . Se aplica equivalencia del condicional involucin

~(p ~q) [q (q p)]

. En el 1 se aplica Dmorgan 2 absorcin

(~p q) q

. Equivalencia del bicondicional

[(~p q) q] [q (~p q)]

. Equivalencia del condicional en ambos

[ ~(~p q) q] [~q (~p q)]

. Dmorgan en el 1 distributiva en el 2

[(p ~q) q] [(~q ~p) (~q q)]

. Asociativa en el 1 - complementacin en el 2

[p (~q q)] [(~q ~p) V]

. Complementacin en el 1 - identidad en el 2

(p V) (~q ~p)

. Identidad

V (~q ~p)

. Identidad

(~p ~q)

Conmutativa

B). (~p q) v ~(q p)

. Equivalencia del condicional e involucin en el 1 equivalencia del bicondicional en el 2

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

. Equivalencia del condicional en ambos

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

. Dmorgan

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

. Dmorgan en ambas

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

. Asociativa

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

. Asociativa

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

. Absorcin

(p v q) v (p ^ ~q)]

. Conmutativa asociativa

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

. Absorcin

(q v p)

C). [p ^ (~p ~q)] [(p q) v (~p ~q)] .Equivalente del condicional e involucin en el 1y el 3 - equivalencia del bicondicional en el 2

[p ^ (p v ~q)] {[(p q) ^ (q p)] ^ [(p v ~q) . Absorcin en el 1 - equivalencia del condicional en el 2 y 3

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

. Absorcin

p (p v ~q)

. Equivalencia del bicondicional

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

. Equivalencia del condicional en ambas

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

. Asociativa en el 1 - Dmorgan en el 2

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

. Complementacin en la 1 - distributiva en la 2

(V v ~q) ^ [(p v ~p) ^ (p v q)]

. Identidad en la 1 - complementacin en la 2

V ^ [V ^ (p v q)]

. Identidad

V ^(p v q) (p v q)

. Identidad

2.- Aplicando leyes del algebra de proposiciones, determine el valor de verdad de las siguientes formas proposicionales: A). [~q (p q)] v ~q . Equivalencia del bicondicional

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

. Equivalencia del condicional en ambos

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

. Equivalencia del condicional involucin

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

. Conmutativa

{[(~p v q) ^ (~q v p)} v q} v ~q

. Asociativa

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

. Complementacin

[(~q v p) ^ (~q v p)] v V V Columna final (tautologa)

. Identidad

B). [p ^ ~(r v p)] ^ [t (p v ~t)]

. Dmorgan en el 1 - equivalencia del bicondicional en el 2

[p ^ (~r ^ ~p)] ^ {[t (p v ~t)] ^ [(p v ~t) t]}

. Asociativa en el 1 - equivalencia del condicional en los dos sig.

[(p^ ~p) ^ ~r)] ^ {[~t v (p v ~t)] ^ [~(p v ~t) v t]}

. Complementacin en el 1 - asociativa en el 2 - Dmorgan en el 3

(F ^ ~r) ^ {[~t v ~t) v p)] ^ [(~p ^ t) v t]}

. Identidad en el 1 - asociativa en el 2 - absorcin en el 3

F ^ [(~t v p) ^ t] F Columna final (contradiccin) C). [(q ~p) p] {[~(r ^ ~q) v (q r)] ^ p}

. Identidad

. Equivalencia del condicional en la 1 y 3 - Dmorgan el 2

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

. Equivalencia del condicional en la 1 -asociativa en la 2

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

. Dmorgan en el 1 - complementacin en el 2 y 3

[(q ^ p) v p] [(V v V) ^ p]

. Absorcin en el 1 - identidad en el 2

P (V ^ p)

. Identidad

(p p)

. Equivalencia del condicional

(~p v p) V Columna final (tautologa)

. Complementacin