Lógica
Parte I
Notas recopiladas desde 2015 a partir de cursos de Álgebra, Geometría, Lógica Simbólica y Lenguajes Formales en la Universidad Simón Bolívar y la Universidad Siglo 21.
A lo largo de estos cursos fui conectando los métodos de demostración con la lógica formal, la deducción y los sistemas formales, hasta entenderlos como un todo coherente.
Estas notas presentan métodos de demostración acompañado de su justificación lógica.
- 1. Expresiones y Operadores
- 2. Propiedades y Equivalencias
- 3. Sistema Formal
- 4. Métodos Básicos de Demostración
- 5. Cuantificadores y Predicados
- 6. Métodos Estructurales de Demostración
- 7. Existencia y Unicidad
- 8. Inducción
- 9. Demostraciones sobre Conjuntos
- 10. Guía de Lógica
- 11. Guía de Demostración
- 12. Ejercicios
- 13. Metateoremas
- 14. Bibliografía