Este libro es un acercamiento basico y sucinto a la logica, en concreto a la logica proposicional, que es la parte mas elemental de esta disciplina y que constituye un excelente punto de partida a la hora de estudiarla. La obra trata de la tecnica de la formalizacion, el metodo de las tablas de verdad, las pruebas semanticas de independencia y por reduccion al absurdo, y en especial del calculo de deduccion natural. Tambien se acerca brevemente a los distintos tipos de argumentos, ademas de los deductivos, como los inductivos o los abductivos, y a otros temas importantes, como los circuitos de conmutacion, la logica informal, las relaciones entre el lenguaje y la logica, las falacias o la pragmatica de la argumentacion. Ademas de los contenidos teoricos, 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 logicas tanto teoricas como practicas en las mas diversas situaciones.