Apuntes de lógica (2)