Aprende los principios esenciales de la lógica matemática con un enfoque práctico: se presentan las reglas de inferencia, la lógica proposicional, la teoría de modelos y ejemplos que ilustran su uso en algoritmos y razonamiento formal.