Lexique : logique, démonstration et algorithmique
Les 20 mots de ce domaine, de la 6e à la terminale, rangés par ordre alphabétique.
A
B
C
- ConjectureUne conjecture est un énoncé que l'on pense vrai, observé sur des exemples, mais qui n'a pas encore été…5e
- ContraposéeLa contraposée de « si A alors B » est « si non B alors non A ». Elle est toujours vraie en même temps que…2nde
- Contre-exempleUn contre-exemple est un exemple qui vérifie l'hypothèse d'un énoncé mais pas sa conclusion : il prouve que…5e
D
- DéfinitionUne définition est un énoncé qui précise le sens exact d'un mot mathématique : elle dit ce qu'est l'objet…6e
- DémonstrationUne démonstration est un raisonnement rigoureux qui établit qu'un énoncé est vrai, à partir de définitions…5e
- DichotomieLa dichotomie est une méthode qui encadre la solution d'une équation en coupant à chaque étape l'intervalle…Tle
- Disjonction de casLe raisonnement par disjonction de cas consiste à partager toutes les situations possibles en plusieurs cas…2nde