Lógica proposicional
Conocerás una rama de la lógica matemática que estudia proposiciones, afirmaciones u oraciones, los métodos de vincularlas mediante conectores lógicos y las relaciones y propiedades que se derivan de esos procedimientos.
Desarrollarás la capacidad de análisis lógico partiendo de la lógica proposicional y las distintas maneras de indagar en él.