Que el alumno exprese en lenguaje formal enunciados provenientes del lenguaje natural, que evalúe la validez de las expresiones aritméticas, las proposiciones y los argumentos lógicos, que se valga de las propiedades de las operaciones para transformar las expresiones usando el álgebra de proposiciones o de conjuntos, que haga demostraciones.