"classical propositional logic" Deutsche bedeutung