Textmeddelande: Lógica y pensamiento formal