Lexikon der Mathematik: Prämisse
in der traditionellen Logik ein Urteil, das als Begründung für einen Schlußsatz dient.
In einer Implikation „wenn A, so B“, ist A die Prämisse und B die Konklusion (siehe auch Abtrennungsregel).
Copyright Springer Verlag GmbH Deutschland 2017
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.