Aussagenlogik Erweiterung