Lógica de enunciados y predicados - Esquemas de Teoría y Problemas resueltos / Mercedes Orús Lacort.
Publisher: [s.l.] : Lulu, cop. 2018Description: 172 p. ; 21 cmISBN: 9780244068677Subject(s): LógicaItem type | Current location | Collection | Call number | Status | Date due | Barcode | Course reserves |
---|---|---|---|---|---|---|---|
Libro | Biblioteca Universidad Europea del Atlántico Fondo General | No ficción | 16 ORU log | Available | 4338 |
1. Lógica de enunciados -- 2. Lógica de predicados
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.