Introducir al estudiante en el lenguaje formal y la lógica simbólica para desarrollar capacidades de razonamiento