Invia SMS: Elementos de lógica formal