Zaslat SMS: Logik und Logikkalkül