"predicate calculus" Deutsche bedeutung