Lógica matemática: manuales en PDF, libros y software para aprenderla
La lógica matemática estudia cómo se razona correctamente: qué hace válido un argumento, cómo se demuestra un teorema y qué pueden y qué no pueden probar los sistemas formales. Es la base de las demostraciones en matemáticas y de buena parte de la informática, desde los circuitos digitales hasta la programación y la inteligencia artificial. Aquí tienes apuntes universitarios gratuitos, una selección de libros y las herramientas que te ayudarán a practicar.
Lógica proposicional
Proposiciones, conectivas, tablas de verdad y equivalencias.
Lógica de predicados
Cuantificadores, deducción natural y formalización de argumentos.
Teorías formales
Teoría de conjuntos, aritmética de Peano, completitud e incompletitud.
Computación
Autómatas, máquinas de Turing, Prolog y verificación de programas.
Índice de contenidos
- 1
- 2
- 3
- 4
- 5
- 6
1. Conceptos básicos: las conectivas lógicas
Todo empieza por la proposición: un enunciado que es verdadero o falso, pero no ambas cosas a la vez. «7 es un número primo» es una proposición; «¿qué hora es?» no lo es. Las proposiciones se combinan mediante conectivas, y su valor de verdad se calcula con tablas de verdad:
| Conectiva | Símbolo | Se lee | Es verdadera cuando… |
|---|---|---|---|
| Negación | ¬p | no p | p es falsa |
| Conjunción | p ∧ q | p y q | p y q son verdaderas |
| Disyunción | p ∨ q | p o q | al menos una de las dos es verdadera |
| Condicional | p → q | si p, entonces q | en todos los casos salvo cuando p es verdadera y q falsa |
| Bicondicional | p ↔ q | p si y solo si q | p y q tienen el mismo valor de verdad |
Una fórmula verdadera en todos los casos es una tautología (por ejemplo, p ∨ ¬p), y una falsa en todos los casos es una contradicción. La lógica de predicados añade los cuantificadores «para todo» (∀) y «existe» (∃), que permiten expresar enunciados como «todo número par es divisible entre 2».
2. Manuales de lógica matemática en PDF
Apuntes y libros que universidades y profesores publican de forma gratuita. Van de menor a mayor nivel:
- Lógica, de José Salvador Cánovas Peña (Departamento de Matemática Aplicada y Estadística, Universidad Politécnica de Cartagena). Primer capítulo de unos apuntes de matemática discreta: proposiciones, tablas de verdad, equivalencias y leyes de De Morgan, condicionales, reglas de inferencia, cuantificadores y una lista de ejercicios. El mejor punto de partida si nunca has estudiado lógica.
- Lógica matemática, de Julio Ernesto Solís Daun y Yolanda Torres Falcón (Universidad Autónoma Metropolitana, México), en la web de notas de la Facultad de Ciencias de la UNAM. Argumentos y falacias, teoría de conjuntos, lenguajes y sistemas formales, lógica proposicional y de predicados, lenguajes y autómatas, y máquinas de Turing.
- Temas de Lógica informática, de José A. Alonso, Andrés Cordón y María J. Hidalgo (Grupo de Lógica Computacional, Universidad de Sevilla). Lógica proposicional y de primer orden con enfoque computacional: deducción natural, tableros semánticos, formas normales, resolución, algoritmos SAT e introducción a Prolog.
- Lógica matemática, de Carlos Ivorra Castillo (Universidad de Valencia). Un libro completo de nivel universitario avanzado: lenguajes y modelos, cálculo deductivo, teorías axiomáticas, completitud semántica, aritmética de Peano, teoría de Kripke-Platek, teoría de la recursión, formalización de la lógica, incompletitud y teorías de conjuntos ZFC y NBG.
- Teoría de conjuntos, de Carlos Ivorra Castillo (Universidad de Valencia). Continuación natural del anterior: construcción del sistema numérico, ordinales, cardinales, álgebras de Boole, árboles y elementos de teoría de modelos.
3. En qué orden estudiarlos
La lógica se aprende por capas: cada nivel usa el anterior. Esta ruta te evita atascarte con textos demasiado avanzados:
| Etapa | Qué aprender | Con qué recurso |
|---|---|---|
| 1. Lógica proposicional | Conectivas, tablas de verdad, tautologías, equivalencias y reglas de inferencia | Apuntes de la Universidad Politécnica de Cartagena; libro de Suppes |
| 2. Lógica de predicados | Cuantificadores, formalización de enunciados y deducción natural | Solís y Torres; temas de la Universidad de Sevilla |
| 3. Métodos de demostración | Tableros semánticos, formas normales y resolución | Temas de la Universidad de Sevilla |
| 4. Aplicación a la computación | Autómatas, máquinas de Turing, Prolog y algoritmos SAT | Solís y Torres; Universidad de Sevilla |
| 5. Teorías formales | Teorías axiomáticas, aritmética, completitud, incompletitud y teoría de conjuntos | Libros de Carlos Ivorra |
El método que mejor funciona es traducir: coge frases del lenguaje corriente («ningún alumno que no estudie aprobará») y pásalas a símbolos, y después al revés. Resolver ejercicios a mano rinde más que releer teoría.
4. Bibliografía recomendada
Una selección de libros de teoría y ejercicios, desde la iniciación hasta la aplicación a la computación.
Introducción a la lógica matemática, de Patrick Suppes.
Un clásico para empezar. Introduce el método deductivo de la matemática moderna y está pensado para lectores de edades y niveles muy distintos. Insiste en traducir a símbolos lógicos las proposiciones del lenguaje corriente, con multitud de ejemplos y ejercicios.
Lógica matemática. Ejercicios I. Lógica de enunciados, de Amador Antón.
Cuaderno de ejercicios de lógica proposicional, de la colección universitaria de Filosofía. Útil para practicar lo que explican los manuales de la etapa 1.
Desarrollo del pensamiento lógico y matemático (4.ª ed.), de José A. Fernández Bravo.
Sobre cómo se forma y se trabaja el razonamiento lógico y matemático; una lectura útil también para docentes.
Lógica matemática. Talleres de iniciación, de Margarita María Niño Torres (Kindle).
Quince talleres gráficos que introducen las reglas del pensamiento lógico. Apto a partir de la educación secundaria.
Lógica matemática: introducción a la lógica matemática, de A. N. Kolmogórov y A. G. Dragalin.
Dos lógicos soviéticos de referencia. El primer capítulo es por sí solo un curso inicial mínimo, con dos anexos de aplicaciones prácticas (códigos con corrección de errores y esquemas de contacto); el segundo trata la semántica de los lenguajes lógico-matemáticos, y el tercero la deducibilidad y las teorías de primer orden. No exige una preparación especial.
Lógica aplicada a la computación
Lógica computacional, de Fernando Martín.
Fundamentos, conceptos y enfoques del componente lógico de los sistemas informáticos. Pensado como texto base para adquirir esos fundamentos.
Lógica práctica y aprendizaje computacional, de Jacinto A. Dávila Q.
Une tres temas mediante la noción de agente: la lógica computacional como lenguaje para modelar agentes y su razonamiento; la simulación de los entornos en los que actúan, con lenguajes para sistemas multiagente; y el aprendizaje automático de reglas lógicas, con una demostración aplicada a la optimización basada en simulación.
Pensamiento lógico computacional, de David Cárdenas González (Kindle).
Para quien empieza a estudiar Informática: desde las partes de un equipo hasta la resolución algorítmica de problemas. Trabaja la abstracción, la síntesis de información y el pensamiento estructurado, el punto de partida para aprender a programar.
5. Software matemático y de lógica
Los programas de cálculo ayudan a comprobar resultados, visualizar conceptos con gráficas y ahorrar tiempo en operaciones largas. Para la lógica en sentido estricto, los asistentes de demostración y Prolog permiten escribir fórmulas y razonamientos que el ordenador verifica.
| Programa | Para qué sirve | Licencia |
|---|---|---|
| Wolfram Mathematica | Cálculo simbólico y numérico, álgebra, gráficas y matemáticas aplicadas. Tenemos manuales de Mathematica. | De pago, con prueba gratuita de 15 días |
| Wolfram Player | Abrir e interactuar con documentos y demostraciones de Mathematica sin tener el programa. Sustituye al antiguo CDF Player para navegador, que ya no tiene soporte. | Gratuito |
| Mathics | Alternativa libre que usa un lenguaje compatible con el de Mathematica. Tiene menos funciones, pero basta para muchos usuarios. | Libre y gratuito |
| Maple | Resolución de problemas matemáticos, cálculo y álgebra. | De pago |
| MATLAB | Cálculo numérico orientado a matrices (su nombre viene de MATrix LABoratory). Tenemos manuales de MATLAB. | De pago, con versión de prueba |
| Simulink | Simulación y diseño de sistemas basado en modelos, integrado con MATLAB. | De pago, con versión de prueba |
| SWI-Prolog | Programación lógica: escribes hechos y reglas, y el sistema deduce las respuestas. Es el lenguaje que usan los temas de la Universidad de Sevilla. | Libre y gratuito |
| Lean | Asistente de demostración: escribes una prueba matemática y el programa comprueba que cada paso es correcto. | Libre y gratuito |
| Rocq | Asistente de demostración, conocido hasta 2025 como Coq. Muy usado en la verificación formal de programas. | Libre y gratuito |
6. Calculadoras científicas
Para estudios universitarios y profesiones técnicas, estos son algunos modelos avanzados. Antes de comprar, comprueba qué calculadoras permite tu examen: muchas pruebas de acceso y exámenes universitarios prohíben las programables y las gráficas.
Canon F-789SGA, calculadora científica.
605 funciones, teclado antibacteriano y alimentación doble, solar y con pila reemplazable.
Casio FX-570ES Plus, calculadora científica.
Pantalla de matriz de puntos que muestra las expresiones como se escriben en papel.
Casio FX-7400GII, calculadora gráfica.
Más de 1.200 funciones y conexión al ordenador. Útil para visualizar funciones, aunque no se admite en muchos exámenes.
Calculadoras financieras
No sirven para lógica ni para cálculo avanzado, pero son las habituales en Economía, ADE y finanzas: interés, amortizaciones, VAN y TIR.
HP F2215A, calculadora financiera.
Con desconexión automática.
HP 17BII+, calculadora financiera.
Un modelo veterano de HP para cálculo financiero y comercial.
