Question

Simplifica el esquema.

[(p ^ ~q) ^ (q---->p) ^ r] v p

Alguien que me ayude con el procedimiento bien hecho !

Tema: "Lógica Proporcional"​.

Answer 1

Para resolver este tipo de problemas , primero debes de saber las leyes logicas

--------------

Condicional

p ⇒ q = ~p ∨ q

Conmutativa

p ∧ q = q ∧ p

p ∨ q = q ∨ p

Distributiva

p ∧ (q ∨ r) = (p ∧ q) ∨ (p ∧ r)

p ∨ (q ∧ r) = (p ∨ q) ∧ (p ∨ r)

Asociativa

p ∧ (q ∧ r) = (p ∧ q) ∧ r

p ∨ (q ∨ r) = (p ∨ q) ∨ r

Absorcion

p ∧ (p ∨ r) = p

p ∨ (p ∧ r) = p

Absorcion generalizada

p ∧ ( ~p ∨ q) = p ∧ q

p ∨ ( ~p ∧ q) = p ∨ q

-----------------------------------

[(p ∧ ~q) ∧ (q ⇒p) ∧ r] ∨ p

[(p ∧ ~q) ∧ (~q ∨ p ) ∧ r] ∨ p

{ (p ∧ ~q) ∨ p } ∧ { (~q ∨ p ) ∨ p } ∧ (r ∨ p)

{ (~q ∧ p) ∨ p } ∧ { (~q ∨ p ) ∨ p } ∧ (p ∨ r)

               p    ∧  { p ∨ (~q ∨ p) } ∧ (p ∨ r)

                                     

                               p              ∧  (p ∨ r)

   

                                             p  >>>Respuesta

----------------------------------------------------------

eso es todo :D

alguna duda , en los comentarioss

SALUDOS!!