Tekstiviesti: Lógica para lingüistas