"predicate logic" Deutsche bedeutung