El objetivo de este libro es dar apoyo a la docencia de elementos básicos de la lógica matemática que normalmente se incluyen en los planes de estudio tÃpicos de titulaciones en informática. El libro incluye una colección de más de 300 enunciados de preguntas tipo test y ejercicios resueltos (capÃtulos del 1 al 9) y sin resolver (capÃtulos 10 y 11). Para una mayor profundidad teórica de los temas, incluye bibliografÃa.