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...