En este curso se expondrán los fundamentos más básicos de la lógica proposicional. El curso consiste en 68 páginas de apuntes en PDF y algunos vídeos explicando las cuestiones más técnicas que se tratan en dichos apuntes. Los vídeos se actualizan de cada poco tiempo para así ir explicando cada vez más los apuntes. El curso también incluye un PDF de tareas por cada PDF de apuntes. Se explicará desde cero todo lo necesario para entender cuál es el propósito de la lógica y, en concreto, de la lógica proposicional. Así, veremos qué diferencia a la lógica de la psicología y de otras ciencias cognitivas y veremos qué se entiende en lógica por oración, qué por enunciado y qué por proposición. Una vez entendamos qué es una proposición, pasaremos a ver qué es un argumento, qué es un argumento válido, cómo se formaliza, cómo se elaboran las tablas de verdad, cómo podemos usar una tabla de verdad para ver si un argumento es válido y cómo se usan las reglas básica de lógica para resolver deducciones en el Sistema de Deducción Natural.

Aprender lógica proposicional es el primer paso que se debe dar para adentrarse en la materia de lógica. Materia que cuenta con contenidos enormemente interesantes y, en la actualidad, más transversales que nunca, pues la lógica se encuentra en multitud de campos de estudio, desde la filosofía a la inteligencia artificial pasando, por supuesto, por las matemáticas.