Las reglas de la lógica le dan un significado preciso a los enunciados o sentencias matemáticas, para distinguir entre argumentos válidos y no válidos.[2]

A lo largo de esta unidad, se profundizará en el manejo de la lógica proposicional con el objetivo de poder modelar problemas de carácter computacional.