Zaslat SMS: Lógica y pensamiento formal