SMS versenden: Lógica simbólica para informáticos