Sciences du quotidien
Comprendre : Démonstration (logique et mathématiques)
En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement.
LE POINT DE DÉPART
Démonstration (logique et mathématiques)
En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement.
UNE PROPRIÉTÉ CONCRÈTE
Ce qui le caractérise
Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
LE MÉCANISME OBSERVÉ
Comment cela fonctionne
Les prémisses sont soit des axiomes, soit des propositions déjà obtenues comme conclusions de l'application d'autres règles.
LA CONSÉQUENCE À RETENIR
Pourquoi ce repère compte
Le terme « preuve » est parfois employé comme un synonyme de « démonstration » par attraction de l'anglais proof[réf.
Pour vérifier et aller plus loin
Sources de la découverte
Poursuivre la curiosité
Trois autres découvertes
Comprendre : Cassiopée (constellation)
Cassiopée est une des 88 constellations du ciel, visible dans l'hémisphère nord.
Lire la découverte →Comprendre : Rotation de la Terre
La rotation de la Terre est le mouvement de la Terre sur elle-même autour de l'axe des pôles géographiques qui relie le pôle Nord au pôle Sud.
Lire la découverte →Comprendre : Phase de la Lune
En astronomie, la phase de la Lune ou, moins communément, phase lunaire désigne une portion de Lune illuminée par le Soleil et vue depuis la Terre.
Lire la découverte →