Establecer nocionalmente la transformación del lenguaje natural en lenguaje formal a través de la simbología propia de la lógica matemática, que permita establecer estructuras del pensameinto lógico desde la concepción matematica.