Sinposis

El texto se compone de nueve unidades didácticas. Cada cual contiene la teoría necesaria para la comprensión de la lógica en toda su extensión. Al final de cada unidad se presentan una serie de ejercicios propuestos con la intención de tentar la curiosidad del lector e incentivarlo a practicar la teoría expuesta.Las primeras unidades del manual desarrollan la lógica formal, estudiando tanto la sintáctica como la semántica de esta disciplina. En las unidades finales se analiza la lógica no formal, dándole así un enfoque práctico a esta parte de la lógica tan subjetiva para muchos y proporcionando una visión completa de la aplicación de la lógica en la informática.