Ce qui précède ou prémisse dans un raisonnement.
En logique mathématique, premier des deux termes d’une forme propositionnelle conditionnelle ou d’une implication.
Exemple
Dans l’énoncé « si un quadrilatère a une paire de côtés parallèles, alors ce quadrilatère est un trapèze », l’antécédent est la proposition « un quadrilatère a une paire de côtés parallèles », et le conséquent est la proposition « ce quadrilatère est un trapèze ».