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