# Synonymes de postcondition

Source : https://synonyma.fr/postcondition · 0 synonymes · 1 antonymes · mis à jour le 2026-11-03

## Antonymes de postcondition

[précondition](https://synonyma.fr/pr%C3%A9condition)

## Définitions

### Nom commun \pɔst.kɔ̃.di.sjɔ̃\

1. Condition appliquée à la fin d’un calcul et permettant de valider le résultat d’une fonction mathématique.
   > La postcondition de la somme de deux nombres positifs est que cette somme doit être positive.
2. En programmation, propriété attachée à une fonction et vérifiée à la fin de l’exécution de cette fonction.
   > Les postconditions vont permettre de continuer la poursuite du programme ou lever une exception quand la postcondition n’est pas remplie.

## Étymologie

dérivé de condition, avec le préfixe post-.

## Sources et licence

- Wiktionnaire, « postcondition » : https://fr.wiktionary.org/wiki/postcondition (CC BY-SA 4.0)