L?gica de enunciados y predicados - Esquemas de Teor?a y Problemas resueltos

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.