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.