aus zwei Prämissen gezogener logischer Schluss