SMS versenden: Introducción al simbolismo lógico