Este libro tiene como objetivo proporcionar a los estudiantes del grado de Ingeniería Informática herramientas y conceptos básicos tanto de la lógica formal como de la lógica no formal, junto con sus aplicaciones. Su propósito es ayudar al lector a adquirir habilidades de aprendizaje, razonamiento y formalización correcta.El texto consta de nueve capítulos que abarcan todos los aspectos necesarios para comprender la lógica en su totalidad. Cada capítulo incluye la teoría fundamental y, al final, se presentan una serie de ejercicios propuestos para despertar la curiosidad del lector e incentivar la práctica de la teoría expuesta.Los primeros capítulos del manual se centran en el desarrollo de la lógica formal, examinando tanto su sintaxis como su semántica. En los capítulos finales, se aborda la lógica no formal, proporcionando un enfoque práctico a esta parte de la lógica que, a menudo, resulta subjetiva para muchos. Además, se ofrece una visión completa de las aplicaciones de la lógica en el ámbito de la informática.La autora de esta obra es doctora en Ingeniería Informática y posee más de diez años de experiencia docente en el área de la informática, especialmente en ingeniería de sistemas, inteligencia artificial e ingeniería y gestión del conocimiento.