Zaslat SMS: Lógica de primer orden