Zaslat SMS: Lógica para lingüistas