SMS: Fundamentos de lógica