Question

resultado de (p^q)^!p con procedimiento

Answer 1

Respuesta:

[(p v ~q) => (p => q)] => [(~p => q) v ~p] v ~p / Ley condicional

~[~(p v ~q) v ~(p v q)] v [~(~p v q) v ~p] v ~p / Ley de Morgan

[(p v ~q) ˄ (p v q)] v [(p ˄ ~q) v ~p] v ~p / Ley distributiva

[(p v ~q) ˄ (p v q)] v [(~p v p) ˄ (~p v ~q)] v ~p / Propiedad básica

[(p v ~q) ˄ (p v q)] v [V ˄ (~p v ~q)] v ~p / Ley distributiva

[(p v ~q) ˄ (p v q)] v [(V ˄ ~p) v (V ˄ ~q)] v ~p / Propiedad básica

[(p v ~q) ˄ (p v q)] v [F v F] v ~p / Ley distributiva inversa

[p v (~q ˄ q)] v F v ~p / Propiedad básica

[p v F] v F v ~p / Ley asociativa (valido para mismo conector)

(p v ~p) v (F v F) / Propiedad básica

V v F / Propiedad básica (mediante tablas de verdad)

V

Explicación paso a paso: