Lógica de enunciados
Publisher: Universitat Oberta de Catalunya
Published: 2003
Place of publication: Barcelona, Spain
Language: spa
Format: E-book
Number of pages: 116
Description: La lógica de enunciados, tema de este módulo didáctico, es una parcela, relativamente pequeña y simple, del mundo mucho más amplio de la lógica en general. La medida de sus contenidos y la sencillez de los conceptos que le dan cuerpo la hacen de un interés incuestionable como instrumento que debe permitir abrir puertas hacia las zonas, más complejas, de la <a href="https://openlibrary.org/books/OL26384551M/L%C3%B3gica_de_predicados">lógica de predicados</a>.

Descubriréis en este módulo los fundamentos de unos conceptos teóricos imprescindibles, una reflexión sobre la necesidad de formalismos y unas formas de proceder y encarar el problema de la validación de razonamientos que no son en absoluto ajenas a la forma como los informáticos, y en general los ingenieros, abordan los problemas que dentro de sus especialidades deben resolver.

En este módulo didáctico también descubriréis una exposición, seguramente más profunda y detallada, de conceptos que ya se os han presentado en otras asignaturas: tablas de verdad, operadores lógicos, demostraciones por reducción al absurdo, etc.