Antécédent (logique)

Un antécédent est la première moitié d'une proposition hypothétique, lorsque la clause-si précède la clause-alors.

Par exemple:

• si P, alors Q.

C'est une formulation non logique d'une proposition hypothétique. Ici, l’antécédent est P,et le conséquent est Q. Dans une implication, si ${\displaystyle \phi }$ implique ${\displaystyle \psi }$ alors ${\displaystyle \phi }$ est appelé l'antécédent et ${\displaystyle \psi }$ est appelé le conséquent^[1].

• SI X est un homme, alors X est mortel.

"X est un homme" est l'antécédent de cette proposition.

• Si un homme a marché sur la lune, alors je suis le roi de France.

Ici, "un homme a marché sur la lune" est l'antécédent.

Voir aussi

• Affirmation du conséquent
• Négation de l'antécédent
• Conséquent (logique)

Références

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Antecedent (logic) » (voir la liste des auteurs).

1. Sets, Functions and Logic - An Introduction to Abstract Mathematics, Keith Devlin, Chapman & Hall/CRC Mathematics, 3rd ed., 2004

• Portail de la logique