23-10-2014, 23:06
Buenas, recién ahora ando haciendo el TP y me surgió una duda con este punto:
2) Generar regla lógicas (proposiciones) que a partir de un hecho (proposición de valor conocido), permita llegar a otro hecho. Este sistema de reglas, debe resolverse mediante deducción natural (Modus Ponens, Eliminación de la Conjunción, etc.)
Y esto es lo que yo hice:
Si llueve, no voy a ir al cine. p → q
Si no voy al cine, no voy a ver a mis amigos. q → r
Llueve. p
Entonces no veo a mis amigos. r
[(p → q) ^ (q → r)] ^ p → (p → r) ^ p → r
Está bien? No entendí mucho la consigna...
2) Generar regla lógicas (proposiciones) que a partir de un hecho (proposición de valor conocido), permita llegar a otro hecho. Este sistema de reglas, debe resolverse mediante deducción natural (Modus Ponens, Eliminación de la Conjunción, etc.)
Y esto es lo que yo hice:
Si llueve, no voy a ir al cine. p → q
Si no voy al cine, no voy a ver a mis amigos. q → r
Llueve. p
Entonces no veo a mis amigos. r
[(p → q) ^ (q → r)] ^ p → (p → r) ^ p → r
Está bien? No entendí mucho la consigna...