"propositional function" Deutsche bedeutung