TY - BOOK AU - Andrade, Edgar José AU - Cubides, Pablo TI - Lógica y pensamiento formal T2 - Colección Lecciones de Ciencias Humanas SN - 978-958-8378-32-9 U1 - 160 CY - Bogotá PB - Editorial Universidad del Rosario KW - Lógica KW - Teoría de conjuntos KW - Lógica proposicional KW - Lógica proposicional modal KW - Lógica de predicados N2 - Este libro son 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. Este manual incluye un capitulo sobre lógica proposicional, otro sobre proposicional modal, y presenta una introducción a la lógica de predicados. Se incluye la mayor cantidad posible de ejercicios, de diferentes nivels de dificultad, en cada uno de los capítulos ER -