1. Este documento presenta una introducción a la lógica computacional y la sintaxis del lenguaje formal. Se describen los orígenes de la lógica matemática en la antigua Grecia y su desarrollo hasta el siglo XIX. También se explican conceptos básicos como juicios, razonamientos, silogismos y paradojas lógicas. Finalmente, se detalla la estructura del documento que cubre cinco capítulos sobre sintaxis, semántica, decisión, álgebra de Boole y cálculo