That which precedes or premises in reasoning.

In mathematical logic, the first of two terms in conditional propositional form or in an implication.

### Example

In the statement “if *a quadrilateral has one pair of parallel sides*, then *this quadrilateral is a trapezoid*“, the antecedent is the proposition “*a quadrilateral has one pair of parallel sides*“, and the consequence of the proposition “*this quadrilateral is a trapezoid*“.