"equivalent proposition" Deutsche bedeutung