SMS: Lógica para lingüistas