La lógica proposicional es la base de la lógica y de los razonamientos matemáticos que vamos a utilizar a lo largo del curso.