[(pv~q)entonces (P entonces q)] entonces [~P entonces q) v~p] v~p
Necesito procedimiento y resultado por favor
Gracias
Respuestas a la pregunta
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
Por lo tanto, el proposición anterior es Verdadera.
Respuesta:
no seeeeeeeeeee xd no hablo taka taka xd