Ayuda con lógica.

Por una de estas... tu profesor no se llamará Damián?

Veamos, supongo que -p es ¬p xD,
Pues empezando por r, por doble negación
r=>¬¬r
¬¬r=>¬q (por q->¬r aplicando el modus tollens creo que se llamaba así, hace un año que lo di ya xD)
y aplicando lo mismo en p->q obtenemos ¬p.
Espero que me haya explicado bien sino dimelo y lo intento un poco mejor xD

Un Saludo

Sheu_ron escribió:Por una de estas... tu profesor no se llamará Damián?

No, se llama Montero, todo un sabio, pero las clases son un poco caóticas así que me entero poco (todo cristo está hablando XD)
__________________________________________

Cyrux, entonces la cosa sería continuar:

¬¬r -> ¬q
¬q -> ¬p

¿Y se acabaría? ¿no hay que poner nada de modus ponens o tollens al lado de las premisas?


Joder, con lo fácil que es decir el resultado, sin tener que demostrarlo -.- que manera de complicar una cosa que es facilona sin más.

Hola Mr. Gray


Tienes un mail.
Te recomiendo que lo leas.

Sheu_ron escribió:Hola Mr. Gray


Tienes un mail.
Te recomiendo que lo leas.

Respondido

Thx por la ayuda.