Textmeddelande: Sémantique et logique