The first term of a ratio, i.e. the term a in the ratio a:b, the other being the consequent.
An ancestor.
Previous principles, conduct, history, etc.
Any thing that precedes another thing, especially the cause of the second thing.
A word, phrase or clause referred to by a pronoun.
The first of two subsets of a sequent, consisting of all the sequent's formulae which are valuated as true.
The conditional part of a hypothetical proposition, i.e. p→q, where p is the antecedent, and q is the consequent.
Earlier, either in time or in order.
Presumptive.
Recurring in succession or as a series; successive, consecutive.
Something that follows in a given sequence.
A disjunctive set of logical formulae which is partitioned into two subsets; the first subset, called the antecedent, consists of formulae which are valuated as false, and the second subset, called the succedent, consists of formulae which are valuated as true. (The set is written without set brackets and the separation between the two subsets is denoted by a turnstile symbol, which may be read "give(s)".)
A sequential calculus