Los principales objetivos de esto libro son:áIntroducir herramientas y conceptos básicos de la Lógica Matemática y sus aplicaciones.áAyudar a aprender a razonar y formalizar correctamente.áFijar las bases teóricas para el estudio de la Lógica Informática,