Apuntes de lógica (1)