Tekstiviesti: Razonamiento lógico inductivo-proposicional