Introducción -- Capítulo 1: Sistemas formales -- Capítulo 2: Lógica proposicional -- 2.1 Proposiciones y conectores -- 2.2 Ejercicios -- 2.3 Sistema formal -- 2.6 Argumentación, razonamiento e inferencia -- Capítulo 3: Lógica cuantificacional -- 3.1 Nociones preliminares -- 3.2 Sistema formal -- 3.3 Inferencias -- Capítulo 4: Métodos de demostración -- 4.1 Introducción -- 4.2 Método directo -- 4.3 Método del contraejemplo -- 4.4 Método de casos -- 4.5 Método del contrarrecíproco -- 4.6 Método indirecto -- 4.7 Inducción matemática -- Capítulo 5: Teoría de conjuntos -- 5.1 Ideas preliminares -- 5.2 Sistema formal -- 5.3 Operaciones entre conjuntos -- 5.4 Situaciones problema -- 5.5 Conjunto de partes -- Capítulo 6: Relaciones -- 6.1 Introducción -- 6.2 Producto cartesiano -- 6.3 Relaciones binarias -- 6.4 Relaciones definidas sobre conjuntos --
Bibliografía

Lógica y teoría de conjuntos reúne notas de clase que han enriquecido durante años el curso que lleva este nombre en la Licenciatura en Matemáticas y Física, en la que los autores han sido parte activa como estudiantes y como docentes. El curso se ha enfocado en la formalidad de las matemáticas (lógica clásica) y en la interpretación de esta. Los estudiantes tienen en sus manos un libro que les servirá de apoyo en el curso mencionado y en otros, como como Cálculo (conjuntos y relaciones) y Estadística (conjuntos), pero, sobre todo, lo encontrarán útil para los cursos de Análisis y de Sistemas y Estructuras (inducción, métodos de demostración, conjuntos)