Este libro ofrece unas notas de clase que son el fruto del ejercicio docente de los profesores de la Escuela de Ciencias Humanas, en los cursos de introducción al pensamiento formal y de lógica. El objetivo principal de este texto es ofrecer una herramienta, tanto a los docentes como a los estudiantes, que facilite la introducción a esta área del conocimiento; lo cual se hace a través del estudio de tres de los sistemas formales más básicos. El presente manual incluye un capítulo sobre lógica proposicional, otro sobre proposicional modal raras veces presente en los manuales de lógica, y presenta una introducción a la vez suficientemente accesible y conceptualmente rigurosa de la lógica de predicados la cual es, a veces, expuesta o de manera ligera o demasiado elaborada, de tal suerte que requiere mayor formación en lógica. En este libro también se ha hecho un esfuerzo particular de incluir la mayor cantidad posible de ejercicios, de diferentes niveles de dificultad, en cada uno de los capítulos. El libro facilita el desarrollo de competencias mínimas en lógica. Es apropiado para estudiantes que apenas tienen un primer acercamiento a la lógica, al desarrollar capacidades de formalización satisfactorias y creatividad a la hora de resolver problemas.
