SMS: Lógica de primer orden