Introducir al estudiante en el análisis del lenguaje matemático a través de los lenguajes proposicionales y de primer orden. De éstos, se enfatizan por igual tres aspectos: su estructura formal, su semántica (a través de las estructuras matemáticas) y la teoría de la inferencia lógica.