Tekstiviesti: La lógica simbólica