"propositional calculus" Deutsche bedeutung