SMS versenden: Einführung in die formale Logik