Antecedent:
In
logic: What comes before (in an argument):
premisses,
assumptions, presuppositions; the
if-part p in an if-then statement or inference (if p then q).
The term antecedent is especially used in systems of logic constructed
by or according to Gentzen, in which every argument is a
sequence of formulas
that satisfy certain conditions.