A continuación, encontrarán un conjunto de vídeos que fueron producto de mi experiencia docente en la Universidad del Valle, Universidad ICESI y Universidad Javeriana.
Probablemente, estos vídeos sean de utilidad para muchos estudiantes que se estén introduciendo a la Lógica proposicional.
Introducción general a la lógica proposicional
Introducción a las equivalencias lógicas
Algunas reglas de equivalencia lógica
Reglas de inferencia
Ahora una actividad para evaluar lo aprendido:
¿Cómo comenzar a resolver un ejercicio de deducción natural?
En muchas ocasiones, como neófitos en lógica, en muchas ocasiones es problematico para el estudiante comenzar a resolver un ejercicio de deducción natural. Hay una sola respuesta a esto: La única forma de aprender a resolver un ejercicio de deducción natural es haciendo ejercicios de deducción natural. A pesar de esto, aquí presento una herramienta útil para algunos ejercicios.