10-02-2013, 20:06
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!!
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!!