Invitación a la lógica

Este libro es un acercamiento básico y sucinto a la lógica, en concreto a la lógica proposicional, que es la parte más elemental de esta disciplina y que constituye un excelente punto de partida a la hora de estudiarla. La obra trata de la técnica de la formalización, el método de las tablas de verdad, las pruebas semánticas de independencia y por reducción al absurdo, y en especial del cálculo de deducción natural. También se acerca brevemente a los distintos tipos de argumentos, además de los deductivos, como los inductivos o los abductivos, y a otros temas importantes, como los circuitos de conmutación, la lógica informal, las relaciones entre el lenguaje y la lógica, las falacias o la pragmática de la argumentación. Además de los contenidos teóricos, proporciona muchos y variados ejercicios y problemas, corregidos y explicados a menudo, de manera que todo ello le permita al lector desarrollar y potenciar sus habilidades lógicas tanto teóricas como prácticas en las más diversas situaciones.