

antecedents
/ˌæntɪˈsiːdənts/ /ˌænsɪˈsiːdənts/



noun
The conditional part of a hypothetical proposition, i.e. p \rightarrow q, where p is the antecedent, and q is the consequent.

noun
The first of two subsets of a sequent, consisting of all the sequent's formulae which are valuated as true.


