SMS: Lógica matemática