Una introducción a la lógica simbólica: Símbolos y proposiciones lógicas, lógica proposicional, enunciados y conectivas lógicas, enunciados y tablas de verdad, principios lógicos y tautologías, lógica cuantificacional, conceptos y álgebra de clases y finalmente, concepto y álgebra de relaciones