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