Introduction
Par « langage mathématique »
, on entend précisément le langage formel écrit avec l'ensemble des symboles propres aux mathématiques. Il ne constitue qu'une partie, très utile mais le plus souvent assez réduite, d'un texte mathématique rédigé principalement dans la langue commune mais avec un vocabulaire spécifique.
Ce premier chapitre va introduire une partie du vocabulaire et des symboles qui seront utilisés dans les cours de mathématiques. Nous aborderons les notions suivantes :
Symboles et variables : qui permettent de décrire et manipuler les objets mathématiques
Propositions : qui sont les éléments de base des énoncés mathématiques
Négation
Conjonction ("et") et disjonction ("ou")
Implication et équivalence
Quantification : le "pour tout" et le "il existe"
Sommes et produits : écriture et premières manipulations
Quelques références :
À la bibliothèque :
Maths - Visa pour la licence.[1] Chapitre 1 : Vocabulaire et notations des ensembles.
MéthodiX, de la Terminale à la Prépa.[2] Chapitre 4 : Propositions.
Objectif Prepa Maths[3]. Chapitres 1 et 4.
Sur le web :
Logique et langage des ensembles[4], Université en Ligne, chapitre Rédaction
Bases, Mathématiques[5] , chapitre Logique
Langage mathématique[6], M@ths en Ligne, chapitres Assertions et Quantificateurs
Language, notation and formulas[7], OpenLearn (en anglais)