„propositional logic" nicht gefunden