1. Preliminares; 2. Fórmulas bien formadas; 3. Cálculo proposicional; 4. Cálculo de predicados

Uno de los problemas con los que se enfrenta generalmente el estudiante de ingeniería es la falta de libros que cubran, de manera total o mayoritaria, los temas estudiados en el curso de lógica matemática.Por tal motivo, estas notas de clases pretenden suplir sus necesidades, brindándole un material de lectura acorde con los asuntos y objetivos de esta materia. Se trata, así, de interrelacionar con materias como algoritmo, que el estudiante cursa o cursó previamente en la carrera, así como darle las bases para otras, tales como teoría de conjuntos y álgebra abstracta, que son muy importantes en la construcción de sus conocimientos y su perfil.