§ 22 Von der Aussagenlogik zur deontischen Logik