PCSI A Mathématiques Lycée Brizeux
4 pages
Français

PCSI A Mathématiques Lycée Brizeux

Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres
4 pages
Français
Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres

Description

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


Sujets

Informations

Publié par
Nombre de lectures 22
Langue Français

Extrait

PCSI A2011-2012
Mathématiques
Notions de logique et rédaction mathématique
Lycée Brizeux
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’oubliezjamaisque vous rédigez vos devoirs pour tre lu! ! !
1 Généralitéssur 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 : 3 – «la fonctionf:RR, x7→xest croissante », – «la fonctiong:RR, x7→xsin(x)est bornée ». 2 2 – «six=yalorsx=y». P(n)= « L’entier naturelnest pair etn6». 1 3 – «est un nombre entier si et seulement siest un nombre entier ». 2 2 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). La logique mathématique est l’étude des règles que doit respecter une déduction correcte.
1.2 Lesconnecteurs logiques
A partir d’une ou plusieurs propositions, on peut construire d’autres propositions à l’aide de la négation et des connecteursou,et. Définitions 1.2. ¯ SiPest une proposition, on appelle « nonP» (ouP) la négation deP. SiPetQsont des propositions, on peut considérer : – la proposition «PouQ»qui est vraie lorsqu’au moins une des deux propositionsP,Qest vraie ; – laproposition «PetQ»qui est vraie lorsque les deux propositionsPetQ;sont vraies
Les connecteursouetetse comportent vis à vis de la négation de la manière suivante : Propriétés 1.3. les propositions « non(PetQ)» et «(nonP)ou(nonQ)»ont les mmes valeurs de vérité; les propositions « non(PouQ)» et «(nonP)et(nonQ);»ont les mmes valeurs de vérité la proposition « (non P)etP; la proposition «»est toujours fausse(non P)ouP»est toujours vraie.
Exercice 1.Ecrire la négation de la propositionP(n)de l’exemple suivant la défintion 1.
1
PCSI A2011-2012
1.3Implication
Mathématiques
Lycée Brizeux
Définition 1.4.SoientPetQdes propositions. La propositionPQ(PimpliqueQ) est la propo-sition «(nonP)ouQ».
LorsquePQest vraie : SiPest vraie, alorsQest vraie. Pour queQsoit vraie, il suffit quePsoit vraie :Pest la propositionsuffisante. Pour quePsoit vraie, il faut queQsoit vraie :Qest la propositionnécessaire. On peut aussi utiliser le vocabulaire suivant :PdoncQ;Qest une conséquence deP;Qrésulte de P...
BLa propositionPQpeut-tre vraie sans quePle soit. Exemple : «1 = 02 = 1»est vraie mais «1 = 0»ne l’est pas!
La négation dePQest «Pet nonQ».
Défintion.L’implicationréciproquedePQest la propositionQP.
Défintion.La contraposée dePQest la proposition(nonQnonP).
BUne implication et sa réciproque n’ont pas toujours la mme valeur de vérité! !Une implication et sa contraposée ont toujours la mme valeur de vérité
Exemples : 1. Considéronsles propositionsP»et: «Maurice est un chatQ: «Maurice est un animal». La propositionPQest vraie mais la réciproqueQPest fausse. La contraposée nonQnonP est vraie : si Maurice n’est pas un animal alors Maurice n’est pas un chat! 2. Soitune fonctionfdéfinie sur un intervalleIRetx0I. Considérons les propositionsP: «fest dérivable enx0» etQ: «fest continue enx0». (a)PQest vraie. (b) Lacontraposéenon Qnon Pest donc vraie (sifn’est pas continue enx0alors elle n’est pas dérivable enx0). (c) La réciproqueQPest fausse : il existe des fonctions qui sont continues sans tre dérivables (exemple : la valeur absolue en0). 3. SoitABCun triangle du plan euclidien. Considérons les propositionsP: «ABCest rectangle 2 2 2 enA» etQ: «BC=AC+AB». (a)PQest vraie. 2 22 (b) Lacontraposéenon Qnon Pest donc vraie (siBC6=AC+ABalorsABCn’est pas rectangle enA). (c) LaréciproqueQPest vraie!
2
PCSI A2011-2012
Mathématiques
1.4 L’équivalence Définition 1.5.La propositionPQ(Pest équivalente àQ) est la proposition : «PQetQP».
Lycée Brizeux
LorsquePQest vraie : PetQont mme valeur de vérité;Pest vraie si et seulement siQest vraie. Pour quePsoit vraie,il faut et il suffitqueQsoit vraie :Qest une condition nécessaire et suffisante.
Le raisonnement par équivalences.On souhaite montrer une propositionP1. On établit succes-sivement des propositionsP2,P3, ...,Pntelles que 1. Pourtouti∈ {1, ..., n1},PietPi+1sont équivalentes. 2.Pnest vraie. AlorsP1est vraie. 1 Exemple.Montrer que pour tout réelx >0, on ax+2. Soit un réelx >0. x 1 x+2 x 2 x+ 12xcarx >0 2 x2x+ 10 2 (x1)0 Or cette dernière assertion est vraie. Donc la première affirmation est vraie par équivalence successives. 2 Exercice 2.Montrer par équivalences successives que pour touthR,ln(h+ 1)0.
2 Lesquantificateurs
2.1 Généralités
Les quantificateurs sont des symboles permettant d’écrire des énoncés mathématiques de manière plus synthétique : • ∀: quantificateur universel. Il signifie "quel que soit", "pour tout"... • ∃: quantificateur existentiel. Il signifie "il existe (au moins un)", "il y a (au moins) un "... Exemples. + 2+ 2 «yR,xR, y=x»se lit «pour toutyR, il existexRtel quey=x; Soit une fonctionf:RR; «xR, f(x) = 1se lit « il existe» ;xRtel quef(x) = 1». Soit un entiern; «kN, n= 2k» : signifie « l’entiernest pair ».
Exercice 3.Ecrire à l’aide de quantificateurs la proposition suivante : « L’applicationf:RRest majorée. »
Exercice 4.?Laquelle des deux propositions ci-dessous est vraie xR, f(x)g(x) = 0(xR, f(x) = 0)ou(xR, g(x) = 0) xR, f(x)g(x) = 0⇒ ∀xR,(f(x) = 0)ou(g(x) = 0)
3
PCSI A2011-2012
Mathématiques
Lycée Brizeux
BAttention, lorsqu’on change l’ordre de deux quantificateursetdans un énoncé, on change en général le sens de l’énoncé. Exemple. 2 L’affirmation «yR+,xRtel que,y=x» est vraie. 2 Mais l’affirmation «xRtel que,yR+, y=x!» est fausse
Exercice 5.Laquelle des deux propositions ci-dessous est juste? 1. «nN,mN, mn». 2. «mN,nN, mn»
Par contre, on peut intervertir l’ordre de deux quantificateurs identiques sans changer le sens de la proposition. Exemple :«xR,yR,|x+y| ≤ |x|+|y|» peut s’écrire «yR,xR,|x+y| ≤ |x|+|y|. »
2.2 Négation NotonsP(x)une proposition dépendante dex. Négation d’une proposition universelle : soitP: «xE, P(x)est vraie» ; non Ps’écrit : «xE,tel queP(x)est fausse» ;
Négation d’une proposition existentielle : soitP: «xE,tel queP(x)est vraie» ; non Ps’écrit : «xE, P(x)est fausse» ; Exemples. Il existe (au moins) un élève»est «Tous les élèves de la classe sont des fillesLa négation de « de la classe qui n’est pas une fille » Soitf:RRune fonction. La négation de la proposition «xR,tel quef(x)>0» est «xR, f(x)0».
Exercice 6.Ecrire à l’aide de quantificateursla négationdes propositions suivantes : x 1. Ilexiste un réelxtel quexe. 2. Lafonctionf:RRest majorée. 3. lafonctionfest nulle sur l’intervalle]0; +[ 4.xR,yR, f(x)> f(y). 5.ε >0,α >0,(|x| ≤α⇒ |f(x)| ≤ε)
4
  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • Podcasts Podcasts
  • BD BD
  • Documents Documents