Tekstiviesti: Symbolic logic