SMS dit: Lógica para lingüistas