martes, 3 de junio de 2014

¿Dónde está el error? (Ejercicio 1)

A un estudiante de Lógica Computacional se le plantea derivar el siguiente razonamiento:


Realiza los siguientes pasos:


A pesar de que el estudiante "aparentemente" llega a obtener la conclusión, comete un error en su razonamiento... Les invito a descubrir cuál es el error, expliquen por qué es un error y describan como podría corregirse y llegar correctamente a la conclusión.

No hay comentarios:

Publicar un comentario