Une assertion est une proposition (affirmative ou négative) présentée comme vraie (la proposition n'est par exemple ni interrogative ni une injonction). Ne contenant aucune preuve intrinsèque de sa véracité, une assertion est potentiellement fausse.
- Proposition, de forme affirmative ou négative, qu'on avance et qu'on prétend vraie[1].
- Affirmation catégorique de quelque chose qu'il n'est pas possible de vérifier[2].
- Statut d'une phrase dans laquelle le sujet parlant énonce une vérité, déclare un fait (par opposition à l'interrogation, à l'exclamation, à l'injonction)[3].
La définition dépend du domaine dans lequel elle est utilisée :
- En linguistique et en philosophie, une assertion représente un énoncé considéré ou présenté comme vrai[4].
- En logique, une assertion est une proposition supposée conclusive, et, en mathématiques, supposée démontrer un théorème. Cette proposition vraie s'inscrit dans le cadre d'un domaine, ou ensemble, particulier. Cette même proposition peut d'ailleurs être fausse au sein d'un autre domaine, par exemple i2 = - 1 est fausse dans l'ensemble des nombres réels. (Voir autres exemples ci-dessous).
- En programmation informatique, une assertion est une expression qui doit être évaluée comme vraie. Si cette évaluation échoue elle peut mettre fin à l'exécution du programme, ou bien lancer une exception. Par exemple, la fonction
assert
de la bibliothèque standard du langage C termine l'exécution du programme si l'assertion est fausse. La programmation par contrat et les tests unitaires sont basés sur les assertions.
Sur les autres projets Wikimedia :