Librería Samer Atenea
Librería Aciertas (Toledo)
Kálamo Books
Librería Perelló (Valencia)
Librería Elías (Asturias)
Donde los libros
Librería Kolima (Madrid)
Librería Proteo (Málaga)
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.
