La lógica de enunciados, tema de este módulo didáctico, es una parcela, relativamente pequeña y simple, del mundo mucho más amplio de la lógica en general. La medida de sus contenidos y la sencillez delos conceptos que le dan cuerpo la hacen de un interés incuestionable como instrumento que debe permitir abrir puertas hacia las zonas, más complejas, de la lógica de predicados.

Descubriréis en este módulolos fundamentos de unos conceptos teóricos imprescindibles, una reflexión sobre la necesidad de formalismos y unas formas de proceder y encarar el problema de la validación de razonamientos que no son en absoluto ajenas a la forma como los informáticos, y en general los ingenieros, abordan los problemas que dentro de sus especialidades deben resolver.

En este módulo didáctico también descubriréis una exposición, seguramente más profunda y detallada, de conceptos que ya se os han presentado en otras asignaturas: tablas de verdad, operadores lógicos, demostraciones por reducción al absurdo, etc.