| Définition | |
|
| |
| Cours | |
| Partie: | Partie 1: Introduction |
|---|---|
| Chapitre: | Éléments de logique |
| Cours suivant: | Assertion dépendant d'un paramètre |
| Général | |
| Branche: | Logique |
| Niveau: | BAC+1 |
Définition
Une phrase dont le contenu porte sur des mathématiques, et qui peut être ou bien vraie, ou bien fausse, est appelée une assertion.
Exemples
- L'assertion est une assertion vraie.
- L'assertion est une assertion fausse.
Vocabulaire
- Dans certains cours, le mot prédicat est utilisé à la place du mot assertion.
- Dans certains cours, le mot proposition est utilisé à la place du mot assertion. Ça ne sera pas le cas ici, car ce mot sera utilisé pour désigner des assertions un peu particulières.
Remarques
- Dans ce cours, quand on fera des raisonnements, on n’utilisera que des assertions, de manière à soit avoir quelque chose de vrai, soit quelque chose de faux.