Este libro forma parte de una trilogía de nombre "Bachiller en Lógica". Pretende dar una idea mínima, nada técnica, de la lógica clásica de primer orden. El primer capítulo tiene como objetivo hacer ver dónde exáctamente se incardina la lógica, dónde y cómo aparece. Los siguienes pretenden desarrollar una teoría lógica ajustada al objeto descrito para la lógica. Le seguirán Lógica matemática elemental y Apuntes sobre Lógica.