Très petite introduction : le langage mathématique

vendredi 28 octobre 2011
par  A. Abouhazim

En mathématiques, nous utilisons beaucoup d’exemples de la vie courante pour illustrer nos propos. Mais le langage mathématique se veut plus rigoureux et plus précis que le langage courant qui peut, parfois, contenir des confusions ou des ambiguïtés.

Les programmes de mathématiques au lycée précisent que « les capacités attendues doivent être clairement identifiées »... « L’acquisition de techniques est indispensable, mais doit être au service de la pratique du raisonnement qui est à la base de l’activité mathématique des élèves »…

Dans une langue écrite et parlée, nous avons un alphabet ; nous construisons des mots (correctement orthographiés dans le langage). Donc, nous pouvons construire des phrases correctes ( la syntaxe ) grâce à des «  règles de grammaire  ». Puis nous leur donnons un sens (la sémantique ) «  Vrai », « Faux » et « On ne sait pas ». « Il existe une fourmi de 18 mètres » est une phrase correctement construite, mais elle est fausse dans la réalité. Dans le langage courant, nous utilisons des «  règles de déduction logiques  » pour argumenter , justifier des propos, ou convaincre une personne de la véracité de nos propos.

En mathématiques, les termes de base sont : les nombres, les lettres que nous rendons en nombre infini en leur donnant des indices,… Nous construisons des «  objets mathématiques  » avec des définitions précises. Nous donnons des propriétés de ces objets mathématiques. Un certain nombre de propriétés de base sont appelées des axiomes et sont donc supposées vraies. Pour compléter ce « langage mathématique », nous donnons également un ensemble de «  règles de construction et de déduction logique  » qui constituent une véritable grammaire du langage mathématique.

Les différentes méthodes de construction de nouvelles propositions logiques sont : les connecteurs « et », « ou » et la négation « non ». On peut rajouter l’implication et l’équivalence logiques, même si elles se déduisent des trois premières. Les méthodes de raisonnement : La conjonction logique, la disjonction logique, la négation, l’implication logique, la contraposition, l’équivalence logique, et d’autres méthodes comme le principe de récurrence (classe de Terminale),…

Certaines propriétés P dépendent d’un ou de plusieurs paramètres appelés variables x, y,… On les note P(x) ou P(x ;y),… On les appelle des attributs ou des prédicats ... Il est légitime de se poser la question si elles sont vraies pour toutes les valeurs de x, ou s’il existe au moins un x pour lequel elles sont vraies, ou si elles sont fausses pour tout x, ou encore s’il existe au moins un x pour lequel elles sont fausses. On introduit la notion de «  quantificateurs  » : «  pour tout  » ou «  quel que soit  » et «  il existe au moins un  ».

En mathématiques, toute propriété dépendant d’au moins un paramètre doit être quantifiée !

Grâce à ces règles de déduction, nous pouvons construire et énoncer de nouvelles propositions logiques vraies qu’on appelle les théorèmes . Pour cela, nous faisons une démonstration ou preuve mathématique . C’est un raisonnement logique qui utilise des résultats théoriques (définitions, propriétés, théorèmes, formules, …) déjà établis pour parvenir pas à pas à notre conclusion en utilisant les règles de déduction.

Pour certains théorèmes dont la démonstration est longue, nous les découpons en plusieurs résultats partiels appelés lemmes . Une fois ce découpage fait, la démonstration tient en quelques lignes en faisant les liens logiques entre ces lemmes et le résultat cherché.

Dans ce qui suit, nous allons donner des éléments d’aide à la démonstration et au raisonnement logique, avec des exemples en algèbre, géométrie ou analyse. Ces exemples seront pris essentiellement dans les programmes du collège ou du lycée en mentionnant le niveau des pré-requis utilisés pour mieux les illustrer.

Les paragraphes suivants seront pourvus au fur et à mesure de leur réalisation :

  1. La démonstration
  2. La proposition logique
  3. La négation simple
  4. Les quantificateurs
  5. Le contre-exemple
  6. Les conjonctions logiques « et », « ou »
  7. Raisonnement par disjonction des cas
  8. L’implication logique « Si…, alors… »
  9. Condition nécessaire. Condition suffisante.
  10. L’équivalence logique
  11. La négation composée
  12. La contraposée d’une implication
  13. Raisonnement par l’absurde
  14. Raisonnement par récurrence
  15. Lexique

Navigation

Articles de la rubrique

  • Très petite introduction : le langage mathématique

Météo

Massy, France

Conditions météo à 13h00
par weather.com®

Très nuageux

18°C


Très nuageux
  • Vent : 24 km/h - ouest sud-ouest
  • Pression : 1009 mbar tendance symbole
Prévisions >>

Prévisions du 19 août
par weather.com®

Nuageux

Max 21°C
Min 10°C


Nuageux
  • Vent : 17 km/h
  • Risque de precip. : %
<< Conditions  |  Prévisions >>

Prévisions du 20 août
par weather.com®

Soleil voilé

Max 21°C
Min 12°C


Soleil voilé
  • Vent : 9 km/h
  • Risque de precip. : 10%
<<  Prévisions  >>

Prévisions du 21 août
par weather.com®

Soleil et nuages épars

Max 25°C
Min 13°C


Soleil et nuages épars
  • Vent : 8 km/h
  • Risque de precip. : 0%
<<  Prévisions  >>

Prévisions du 22 août
par weather.com®

Soleil voilé

Max 28°C
Min 16°C


Soleil voilé
  • Vent : 12 km/h
  • Risque de precip. : 0%
<<  Prévisions  >>

Prévisions du 23 août
par weather.com®

Soleil

Max 28°C
Min 14°C


Soleil
  • Vent : 11 km/h
  • Risque de precip. : 10%
<<  Prévisions  >>

Prévisions du 24 août
par weather.com®

Soleil et nuages épars

Max 25°C
Min 15°C


Soleil et nuages épars
  • Vent : 8 km/h
  • Risque de precip. : 10%
<<  Prévisions  >>

Prévisions du 25 août
par weather.com®

Orage épars

Max 26°C
Min 16°C


Orage épars
  • Vent : 8 km/h
  • Risque de precip. : 40%
<< Prévisions