antécédent

antécédent

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 ».