UTNianos

hola!

estoy intentando hacer estos ejercicios. alguien por favor, podría darme una mano?


Dar la validez de los siguientes razonamientos

a) [(p => r) ^ (~p => q) ^ (q => s)] => (~r => s)

b) [[(~p v ~q) => (r => s)] ^ (r => t) ^ ~t] => p

c) [p ^ (p v q) ^ [q => (r => s)] ^ (t => r)] => (~s v ~t)



desde ya muchas gracias!

Es usar equivalencias. lo mejor es llevar todas las implicancias a conjunciones o disyunciones. Así tenes:

-(p=>q) = p y -q

(p=>q) = -p o q

Transformas todas las que tenes ahí y los vas resolviendo, aplicando las propiedades distributivas, asociativas, etc.

La verdad que son largos de desarrollar. Si un lunes estas al mediodía ó un sábado a mediodía por Medrano, te lo explico en un toque. Pero tratá de pensarlo por ese lado. Saludos