[PDF] Exercices de mathématiques - Exo7





Previous PDF Next PDF



Exercice 1 (corrigé)

Module Mathématiques pour l'Informatique_ partie 2 Définir clairement les prédicats qui composent chaque assertion utiliser les quantificateurs et l' ...



5DLVRQQHPHQW

Exercice 1. Écrire à l'aide des quantificateurs et 3



TD : Exercices de logique TD : Exercices de logique

Exercice 15 Peut-on intervertir les quantificateurs " ∀ n ∈ ℕ" et " ∃ m TD mathématiques : logique 9/9. • Edwige :” Une seule des quatre phrases ...



Exercices de mathématiques - Exo7

Traduire en termes de quantificateurs les expressions suivantes : 1. f est Correction de l'exercice 7 △. Dans ce corrigé nous donnons une justification



Mathematiques - L1. Exercices et methodes

Méthodologie mathématique : connecteurs logiques Quantificateurs Quelques mé- thodes de raisonnement : raisonnement par l'absurde par la contraposée et la 



[PDF] Algèbre - Exo7 - Cours de mathématiques

Les quantificateurs ne sont pas des abréviations. Soit vous écrivez une ... exercices. 1. Pour quelles valeurs de t ∈ . −1 t.



Correction des exercices du TD1

Q1. Utiliser les quantificateurs ou si vous ne les avez pas encore vus typographie mathématique



ALGÈBRE Cours et Exercices Première Année LMD

1.4 Quantificateurs mathématiques . . . . . . . . . . . 12. 1.5 Exercices Corrigés. Corrigé 1.5.1. (1) (n = 2) ∧ (n pair) ⇒ n non premier. On suppose que ...



Exercices de mathématiques - Exo7

Exercice 17. Soient fg deux fonctions de R dans R. Traduire en termes de quantificateurs les expressions suivantes : 15. Page 16. 1. f est majorée;. 2. f est ...



Logique

Ecrire la proposition ( ) avec des quantificateurs. 2. Ecrire la négation avec des quantificateurs puis l'énoncer en français. Aller à : Correction exercice 8 



Exercices de mathématiques - Exo7

Exercice 6. Soient fg deux fonctions de R dans R. Traduire en termes de quantificateurs les expressions suivantes : 1. f est majorée ;. 2. f est bornée ;.



Mathematiques - L1. Exercices et methodes

MATHÉMATIQUES. LICENCE 1. EXERCICES ET MÉTHODES. Myriam Maumy-Bertrand Méthodologie mathématique : connecteurs logiques Quantificateurs Quelques mé-.



Logique.pdf

Le programme officiel de mathématiques supérieures prévoit que les notions 4.3 Propriétés des quantificateurs avec deux variables . ... Exercice 1.



TD : Exercices de logique

TD mathématiques : logique 1/9. TD : Exercices de logique négation Exercice 14 Ecrire à l'aide de quantificateurs les propositions suivantes :.



ALGÈBRE Cours et Exercices Première Année LMD

1.4 Quantificateurs mathématiques . . . . . . . . . . . 12. 1.5 Exercices . La partie entrainement comprend des exercices qui ont été ... Corrigé 1.5.1.



Exercices de mathématiques - Exo7

Rappels. 1 Logique ensembles. Exercice 1. Soient f



Logique

Exercice 4 : Donner la négation mathématique des phrases suivantes Ecrire la négation avec des quantificateurs puis l'énoncer en français.



Correction des exercices du TD1

Exercice A.2.1. Q1. Utiliser les quantificateurs ou si vous ne les avez pas encore vus



Cours danalyse 1 Licence 1er semestre

7 Corrigé des exercices on peut donner un sens mathématique aux racines carrées de nombres négatifs. ... quantificateur existentiel noté par le symbole.



Corrigés des exercices

aux mêmes conclusions que précédemment (voir corrigé de l'exercice 20). tribue pas sur la disjonction ni le quantificateur existentiel sur la ...

Enoncés : A. Bodin, F. Ridde

Corrections : A. BodinExo7

Rappels

1 Logique, ensembles

Exercice 1Soientf;gdeux fonctions deRdansR. Traduire en termes de quantificateurs les expressions suivantes :

1.fest majorée;

2.fest bornée;

3.fest paire;

4.fest impaire;

5.fne s"annule jamais;

6.fest périodique;

7.fest croissante;

8.fest strictement décroissante;

9.fn"est pas la fonction nulle;

10.fn"a jamais les mêmes valeurs en deux points distincts;

11.fatteint toutes les valeurs deN;

12.fest inférieure àg;

13.fn"est pas inférieure àg.

Montrer par contraposition les assertions suivantes,Eétant un ensemble :

1.8A;B2P(E) (A\B=A[B))A=B,

2.8A;B;C2P(E) (A\B=A\CetA[B=A[C))B=C.

SoitA;Bdeux ensembles, montrer{(A[B) ={A\{Bet{(A\B) ={A[{B. SoientEetFdeux ensembles,f:E!F. Démontrer que :

8A;B2P(E) (AB))(f(A)f(B)),

1

8A;B2P(E)f(A\B)f(A)\f(B),

8A;B2P(E)f(A[B) =f(A)[f(B),

8A;B2P(F)f1(A[B) =f1(A)[f1(B),

8A2P(F)f1(FnA) =Enf1(A).

Exercice 51.Démontrer que si r2Qetx=2Qalorsr+x=2Qet sir6=0 alorsr:x=2Q. 2.

Montrer que

p262Q, 3. En déduire : entre deux nombres rationnels il y a toujours un nombre irrationnel.

Déterminer (s"ils existent) : les majorants, les minorants, la borne supérieure, la borne inférieure, le plus grand

élément, le plus petit élément des ensembles suivants : [0;1]\Q;]0;1[\Q;N; (1)n+1n 2jn2N

SoitAetBdeux parties bornées deR.Vraioufaux?

1.AB)supA6supB,

2.AB)infA6infB,

3. sup (A[B) =max(supA;supB), 4. sup (A+B)Soitf:R!Rtelle que

8(x;y)2R2f(x+y) =f(x)+f(y):

Montrer que

1.8n2Nf(n) =nf(1).

2.8n2Zf(n) =nf(1).

3.8q2Qf(q) =qf(1).

4.8x2Rf(x) =xf(1)sifest croissante.

Indication pourl"exer cice3 NIl est plus facile de raisonner en prenant un élémentx2E. Par exemple, soitF;Gdes sous-ensembles deE.

Montrer queFGrevient à montrer que pour toutx2Falorsx2G. Et montrerF=Gest équivalent àx2F si et seulement six2G, et ce pour toutxdeE. Remarque : pour montrerF=Gon peut aussi montrerFG puisGF.

Enfin, se rappeler quex2{Fsi et seulement six=2F.Indication pourl"exer cice5 N1.Raisonner par l"absurde.

2.

Raisonner par l"absurde en écri vant

p2=pq avecpetqpremiers entre eux. Ensuite plusieurs méthodes sont possibles par exemple essayer de montrer quepetqsont tous les deux pairs. 3.

Considérer r+p2

2 (r0r)(faites un dessin !) pour deux rationnelsr;r0. Puis utiliser les deux questions précédentes.Indication pourl"exer cice7 NDeux propositions sont fausses...

Indication pour

l"exer cice

8 N1.f(2) =f(1+1) =, faire une récurrence.

2.f((n)+n) =.

3.

Si q=ab

, calculerf(ab +ab ++ab )avecbtermes dans cette somme. 4.

Utiliser la densité de QdansR: pourx2Rfixé, prendre une suite de rationnels qui croit versx, et une

autre qui décroit versx.3

Correction del"exer cice1 N1.9M2R8x2Rf(x)6M;

2.9M2R9m2R8x2Rm6f(x)6M;

3.8x2Rf(x) =f(x);

4.8x2Rf(x) =f(x);

5.8x2Rf(x)6=0;

6.9a2R8x2Rf(x+a) =f(x);

7.8(x;y)2R2(x6y)f(x)6f(y));

8.8(x;y)2R2(xf(y));

9.9x2Rf(x)6=0;

10.8(x;y)2R2(x6=y)f(x)6=f(y));

11.8n2N9x2Rf(x) =n;

12.8x2Rf(x)6g(x);

13.9x2Rf(x)>g(x).Correction del"exer cice2 NNous allons démontrer l"assertion 1:de deux manières différentes.

1. T outd"abord de f açon"directe". Nous supposons que AetBsont tels queA\B=A[B. Nous devons montrer queA=B. Pour cela étant donnéx2Amontrons qu"il est aussi dansB. Commex2Aalorsx2A[Bdoncx2A\B (carA[B=A\B). Ainsix2B. Maintenant nous prenonsx2Bet le même raisonnement impliquex2A. Donc tout élément deAest dansBet tout élément deBest dansA. Cela veut direA=B. 2. Ensuite, comme demandé,nous lemontronsparcontraposition.Nous supposonsqueA6=Betnondevons montrer queA\B6=A[B.

SiA6=Bcela veut dire qu"il existe un élémentx2AnBou alors un élémentx2BnA. Quitte à échanger

AetB, nous supposons qu"il existex2AnB. Alorsx2A[Bmaisx=2A\B. DoncA\B6=A[B.Correction del"exer cice3 Nx2{(A[B),x=2A[B

,x=2Aetx=2B ,x2{Aetx2{B ,x2{A\{B: 4 x2{(A\B),x=2A\B ,x=2Aoux=2B ,x2{Aoux2{ ,x2{A[{B:Correction del"exer cice4 NMontrons quelques assertions. f(A\B)f(A)\f(B). Siy2f(A\B), il existex2A\Btel quey=f(x), orx2Adoncy=f(x)2f(A)et de mêmex2Bdonc y2f(B). D"oùy2f(A)\f(B). Tout élément def(A\B)est un élément def(A)\f(B)doncf(A\B) f(A)\f(B). Remarque : l"inclusion réciproque est fausse. Exercice : trouver un contre-exemple. f

1(FnA) =Enf1(A).

x2f1(FnA),f(x)2FnA ,f(x)=2A ,x=2f1(A)carf1(A) =fx2E=f(x)2Ag ,x2Enf1(A)Correction del"exer cice5 N1.Soit r=pq

2Qetx=2Q. Par l"absurde supposons quer+x2Qalors il existe deux entiersp0;q0tels que

r+x=p0q

0. Doncx=p0q

0pq =qp0pq0qq

02Qce qui est absurde carx=2Q.

De la même façon sirx2Qalorsrx=p0q

0Et doncx=p0q

0qp . Ce qui est absurde.

2.Méthode "classique".Supposons, par l"absurde, quep22Qalors il existe deux entiersp;qtels quep2=pq

. De plus nous pouvons supposer que la fraction est irréductible (petqsont premiers entre eux).

En élevant l"égalité au carré nous obtenonsq22=p2. Doncp2est un nombre pair, cela implique quep

est un nombre pair (si vous n"êtes pas convaincu écrivez la contraposée "pimpair)p2impair"). Donc

p=2p0avecp02N, d"oùp2=4p02. Nous obtenonsq2=2p02. Nous en déduisons maintenant queq2est pair et comme ci-dessus queqest pair. Nous obtenons ainsi une contradiction carpetqétant tous les deux pairs la fraction pq n"est pas irréductible et aurait pu être simplifiée. Doncp2=2Q. Autre méthode.Supposons par l"absurde quep22Q. Alorsp2=pq pour deux entiersp;q2N. Alors nous avonsqp22N. Considérons l"ensemble suivant : N=n n2Njnp22No Cet ensembleNest une partie deNqui est non vide carq2N. On peut alors prendre le plus petit élément deN:n0=minN. En particuliern0p22N. Définissons maintenantn1de la façon suivante :n1=n0p2n0. Il se trouve quen1appartient aussi àNcar d"une partn12N(carn0etn0p2 sont des entiers) et d"autre partn1p2=n02n0p22N. Montrons maintenant quen1est plus petit que n

0. Comme 0 Bilan : nous avons trouvén12Nstrictement plus petit quen0=minN. Ceci fournit une contradiction.

Conclusion :p2 n"est pas un nombre rationnel.

5

3.Soient r;r0deux rationnels avecr 2 (r0r). D"une partx2]r;r0[(car 0compris entreretr0.Correction del"exer cice6 N1.[0;1]\Q. Les majorants :[1;+¥[. Les minorants :]¥;0]. La borne supérieure : 1. La borne inférieure

: 0. Le plus grand élément : 1. Le plus petit élément 0.

2.]0;1[\Q. Les majorants :[1;+¥[. Les minorants :]¥;0]. La borne supérieure : 1. La borne inférieure

: 0. Il nexiste pas de plus grand élément ni de plus petit élément.

3.N. Pas de majorants, pas de borne supérieure, ni de plus grand élément. Les minorants :]¥;0]. La

borne inférieure : 0. Le plus petit élément : 0. 4. n (1)n+1n

2jn2No

. Les majorants :[54 ;+¥[. Les minorants :]¥;1]. La borne supérieure :54 . La borne inférieure :1. Le plus grand élément :54 . Pas de plus petit élément.Correction del"exer cice7 N1.Vrai. 2.

F aux.C"est vrai a vecl"h ypothèseBAet nonAB.

3. Vrai. 4.

F aux.Il y a ég alité.

5. Vrai. 6.

Vrai. Correction del"exer cice8 N1.Calculons d"abord f(0). Nous savonsf(1) =f(1+0) =f(1)+f(0), doncf(0) =0. Montrons le

résultat demandé par récurrence : pourn=1, nous avons bienf(1) =1f(1). Sif(n) =nf(1)alors f(n+1) =f(n)+f(1) =nf(1)+f(1) = (n+1)f(1). 2.

0 =f(0)=f(1+1)=f(1)+f(1). Doncf(1)=f(1). Puiscommeci-dessusf(n)=nf(1)=

nf(1). 3.

Soit q=ab

. Alorsf(a) =f(ab +ab ++ab ) =f(ab )++f(ab )(btermes dans ces sommes). Donc f(a) =bf(ab ). Soitaf(1) =bf(ab ). Ce qui s"écrit aussif(ab ) =ab f(1). 4.

Fixons x2R. Soit(ai)une suite croissante de rationnels qui tend versx. Soit(bi)une suite décroissante

de rationnels qui tend versx: a

16a26a36:::6x66b26b1:

Alors commeai6x6biet quefest croissante nous avonsf(ai)6f(x)6f(bi). D"après la question

précédent cette inéquation devient :aif(1)6f(x)6bif(1). Comme(ai)et(bi)tendent versx. Par le

"théorème des gendarmes" nous obtenons en passant à la limite :xf(1)6f(x)6xf(1). Soitf(x) = xf(1).6quotesdbs_dbs46.pdfusesText_46

[PDF] les quantitées

[PDF] Les quantités d'équilibre

[PDF] Les quantités de matière

[PDF] les quantités de matières

[PDF] Les quarante premières lettres persanes de Montesquieu

[PDF] Les quartiles

[PDF] les quatre opérations avec des fractions

[PDF] les quatre opérations numériques de base et sur les conversions mathématiques

[PDF] les quatre paramètres du son

[PDF] les quatre stratégies de fidélisation

[PDF] Les quatres dés

[PDF] les quelque ou les quelques

[PDF] Les question D'anglais

[PDF] Les questions de texte - CNED

[PDF] les questions difficiles de la bible