Antezedens und Sukzedens
aus Wikipedia, der freien Enzyklopädie
In einer Implikation "wenn A, so B" bezeichnet in der Sprache der Logik das Sukzedens (v. lat.: succedere = folgen) das Nachglied B. Weitere Bezeichnungen dafür sind Konklusion, Konsequenz, Behauptung sowie Hinterglied.
Das Vorglied A wird Antezedens, alternativ auch Prämisse oder Voraussetzung, genannt.