Este libro está pensado para alumnos universitarios, de la rama científica e incluso de Filosofía. Contiene resúmenes de teoría y problemas resueltos. En concreto: cómo se utilizan las conectivas y cuantificadores para formalizar enunciados y razonamientos, y cómo usar los métodos de deducción natural, resolución y tablas de verdad, para validar si un razonamiento es correcto o no. A menudo usamos la palabra "lógica". En el día a día, expresamos opiniones consecuencia de informaciones que se disponen. Esas opiniones en lógica son "conclusiones", y las informaciones son "premisas". Pero es siempre correcta su opinión?, o, alguna información no es completamente cierta, o no está expresada adecuadamente, y su opinión es incorrecta?. A veces nuestra mente racional nos engaña, y sucede que lo que parecía cierto no lo es, o lo que parecía imposible que lo fuera sí lo es. Dicen, que el mundo científico, no está distante del filosófico y del artístico. Y es verdad. Todos son un arte.