Lgica de enunciados y predicados - Esquemas de Teora y Problemas resueltos

Este libro esta pensado para alumnos universitarios, de la rama cientifica e incluso de Filosofia. Contiene resumenes de teoria y problemas resueltos. En concreto: como se utilizan las conectivas y cuantificadores para formalizar enunciados y razonamientos, y como usar los metodos de deduccion natural, resolucion y tablas de verdad, para validar si un razonamiento es correcto o no. A menudo usamos la palabra "logica". En el dia a dia, expresamos opiniones consecuencia de informaciones que se disponen. Esas opiniones en logica son "conclusiones", y las informaciones son "premisas". ?Pero es siempre correcta su opinion?, o, ?alguna informacion no es completamente cierta, o no esta expresada adecuadamente, y su opinion es incorrecta?. A veces nuestra mente racional nos engana, y sucede que lo que parecia cierto no lo es, o lo que parecia imposible que lo fuera si lo es. Dicen, que el mundo cientifico, no esta distante del filosofico y del artistico. Y es verdad. Todos son un arte.