SMS versenden: Logik und Logikkalkül