"logically equivalent" Deutsche bedeutung