die logische herleitung Synonym