Terme
Proposition mathématique
- Nom
- proposition, propositions
- Termes plus larges
- Assertion
- Termes plus spécifiques
- Conjonction, Disjonction, Équivalence, Implication, Négation
- Cas particulier de
- Assertion
- Contexte de
- Conjonction, Disjonction, Négation
- Cas particuliers
- Équivalence, Implication
Définition
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.
Module : Assertions