Tekstiviesti: Abreviatura de investigaciones lógicas