Tekstiviesti: Lógica simbólica