Hola a todos,
Alguno me podrá ayudar con estos dos ejercicios?

- Dar la validez del siguiente razonamiento:
(¬p => r) ^ ((¬p => r) => (¬q ^ p)) => (¬q ^ p )


- Dar la validez del siguiente razonamiento:
(p \[\vee \] r ) ^ [(r=>p)=>(¬q ^ p)] => (¬r ^ p)


Los dos son ejercicios de final y la verdad que por mas que use las reglas de inferencia, no se me ocurre como encararlos. Vi que estan resueltos pero en ningun lado explican los pasos para resolverlo.

Gracias!!

Te dejo el primero resuelto...
Hace mucho no hago de estos, pero creo que salió

   

En un rato subo el otro si sale

---

Este no me quedó tan copado como el otro, porque la validez de todo depende de la validez de cada una de las proposiciones simples.

Tal vez le pifié en algún paso, y eventualmente se pueda llegar a algo más concluyente. Que al menos sirva de guía, al igual que el otro, al cual tampoco consideres una verdad absoluta xD

Espero sirva de algo ;D