Logik Major Oberbegriff Hauptprämisse in einem Syllogismus