SMS: Apuntes de lógica