En esta unidad tratarermos el nivel más elemental de la lógica: la lógica de enunciados, que servirá para entender otros niveles de cálculo lógico más avanzados, pero que  ya no están en esta unidad, como son el de la lógica  de predicados, el de la de clases...etc

     Las actividades pretenden primeramente, conocer los símbolos del lenguaje de la lógica formal, que traducen los enunciados y las marcas léxicas  del lenguaje natural. También se tratan las reglas de formación de enunciados lógicos, se practica el valor de verdad de las conectivas  a través de las tablas de verdad y se hacen  cálculos  para ver si un argumento es una tautologia, con el fin de ver la validez formal de un razonamiento o inferencia.

•     Competencia lógica y de abstracción.
  

•     Aprender la lógica  de enunciados o de proposiciones.

•     Conocer las tablas de verdad

•     Comprender el criterio de verdad lógica como coherencia interna y no contradicción.
  

•     Traducir del lenguaje natural al lenguaje formal.

•      Entender la estructura lógica de los razonamientos, argumentos o inferencias.