Niveau: Supérieur
PCSI A 2011-2012 Mathématiques Lycée Brizeux Notions de logique et rédaction mathématique Afin de se comprendre, il est bien commode de parler la même langue : les mathématiciens utilisent plus ou moins le language de la logique pour rédiger les démonstrations de leurs théorèmes. L'objectif de ces quelques notes est de poser un peu de vocabulaire et de vous familiariser avec les bonnes manières de composer vos textes mathématiques : n'oubliez jamais que vous rédigez vos devoirs pour être lu ! ! ! 1 Généralités sur les propositions 1.1 Vocabulaire Définition 1.1. Une proposition est un énoncé concernant un objet ou une relation entre objets mathématiques. Exemples de propositions : – « la fonction f : R? R, x 7? x3 est croissante », – « la fonction g : R? R, x 7? x sin(x) est bornée ». – « si x2 = y2 alors x = y ». – P (n) = « L'entier naturel n est pair et n ≥ 6 ». – « 12 est un nombre entier si et seulement si 3 2 est un nombre entier ». On affecte aux propositions une valeur de vérité : une proposition est soit vraie soit fausse (c'est le principe du tiers exclu). Le travail du mathématicien est de déterminer si une proposition est vraie ou fausse. Il procède par déduction à partir de propositions qu'il sait être justes ou de propositions admises comme vraies (un axiome).
- équivalences successives
- rédaction mathématique
- triangle du plan euclidien
- q?
- raisonnement par équivalences
- language de la logique