En esta asignatura se estudian los principales axiomas sobre lógica matemática, métodos de prueba, teoría de conjuntos y relaciones binarias. También, se hace un estudio formal de las propiedades y operaciones definidas en los conjuntos numéricos. Lo anterior con el propósito de que el estudiante realice demostraciones matemáticas, además, resuelva ejercicios y problemas.