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.

Pour les articles homonymes, voir Antécédent.

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 implique alors est appelé l'antécédent et 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

Références

  1. Sets, Functions and Logic - An Introduction to Abstract Mathematics, Keith Devlin, Chapman & Hall/CRC Mathematics, 3rd ed., 2004
  • Portail de la logique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Sharealike. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.