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
Schreiben Sie uns!