Aussagenlogik/Namespaces