Assertions

Définition Assertion

Une assertion est un énoncé dont on peut affirmer sans ambiguïté s’il est vrai ou s’il est faux.

Exemple résolu Assertions vraies et fausses réservé aux comptes

Définition Axiomes, propriétés, propositions et théorèmes

Certaines assertions sont déclarées vraies a priori : ce sont des axiomes. Sinon la véracité d’une assertion doit résulter d’une démonstration. Les assertions démontrées sont appelées propriétés ou propositions pour la plupart des résultats et théorèmes pour les résultats les plus fondamentaux.

Définition Assertion dérivée d’un théorème

Un corollaire est une assertion vraie qui découle d’un théorème « plus gros ».