Zaslat SMS: Investigaciones lógicas I/