In der klassischen Logik einer der beiden Vordersätze oder die Voraussetzung eines Syllogismus. Während sich die Bezeichnungen ›Obersatz‹ für die erste Prämisse und ›Untersatz‹ für die zweite Prämisse durchgesetzt haben, wurden in der Tradition auch andere Begriffe verwandt. In der stoischen Logik wird die erste Prämisse lemma (lat. sumptio ) und die zweite Prämisse prolepsis (lat. praesumtio ) genannt. Wolff prägte die für die deutsche Schulmetaphysik gebräuchlichen Begriffe propositio maior (Obersatz) und propositio minor (Untersatz). In der modernen Logik werden die Vordersätze der Folgerungsbeziehung Prämissen genannt. Ungebräuchlich ist dagegen die Bezeichnung Prämisse für die Aussagenverbindungen, die das Vorderglied der materialen Implikation (Subjunktion) bilden. Hier heißt das Vorderglied ›Antezedens‹, das Hinterglied ›Konsequens‹.