Manual de lógica elemental / Mario Alberto Lozano González, Adriana Pérez Armendáriz .

Incluye bibliografía e índice analítico.

Primera parte. Preliminares ; Capítulo 1. Teoría de conjuntos ; Capítulo 2. Primeras nociones de lógica ; Segunda parte. Lógica proposicional ; Capítulo 3. Lenguaje formal proposicional ; Capítulo 4. Semántica formal: la consecuencia proposicional ; Capítulo 5. Cálculos deductivos: la deducibilidad proposicional ; Tercera parte. Lógica de predicados ; Capítulo 6. Lenguaje formal cuantificacional ; Capítulo 7. Semántica formal: la consecuencia cuantificacional ; Capítulo 8. Cálculos deductivos: la deductibilidad cuantificacional. .

En este texto introductorio a la lógica formal se da un tratamiento básico a los temas y problemas de la lógica clásica de primer orden, con énfasis en los aspectos semánticos de los sistemas lógicos. El libro se divide en tres partes: en la primera se introducen elementos de la teoría estándar de conjuntos y conceptos básicos de lógica formal. Las partes segunda y tercera se enfocan en la lógica proposicional y en la lógica de cuantificadores, respectivamente, de manera que se respeta el orden común de temas en manuales universitarios de lógica simbólica: primero se revisa la estructura y el funcionamiento de cada lenguaje formal, luego e presenta una semántica que lo interpreta y, finalmente, el cálculo o los cálculos correspondientes a tal lenguaje y semántica. El lector encontrará aquí explicaciones claras y didácticas- cuidando el rigor y la precisión formal requeridos en la lógica simbólica contemporánea- que presentan de manera progresiva los elementos de cada parte, y en las que lo revisado se ilustra con diversos ejemplos.