ableitbar-keit deu. in der Logik die Möglichkeit der Gewinnung von Aussagen als Schlußfolgerung aus anderen Aussagen, den Prämissen; s. Ableitung
