Tekstiviesti: Lógica de primer orden