Lógica Simbólica

Sobre Lógica Simbólica de Manuel Garrido

Lógica Simbólica, de Manuel Garrido, es uno de los manuales de referencia en español para adentrarse en la lógica formal. El libro arranca con conceptos básicos —proposiciones, tablas de verdad, álgebra de Boole— y avanza hasta sistemas más complejos como el cálculo de predicados de primer orden y la deducción natural. Incluye numerosos ejercicios resueltos y propuestos, y está diseñado tanto para cursos universitarios como para quienes quieran aprender por cuenta propia con un enfoque riguroso pero accesible. La obra está disponible en EPUB, PDF y MOBI, así que puedes leerlo sin problemas en cualquier dispositivo.

Este título está pensado sobre todo para estudiantes de filosofía, pero también es muy útil para quienes cursan matemáticas, informática o ciencias cognitivas. Si te interesa entender cómo se formalizan los argumentos y los fundamentos del razonamiento deductivo, aquí tienes un texto completo y bien estructurado que cubre desde cero hasta temas más avanzados. Es una lectura exigente, pero con la paciencia y la práctica que propone Garrido, acabarás manejando la lógica simbólica con soltura.