Lycée Omar ben-Abdelaziz Année scolaire 2020 -2023

MPSI 2 Elgheryb Ahmed

TD1 : Rudiments de logique

Exercice 1.
Soit (un )n une suite réelle et f une fonction de  dans  .Ecrire à l’aide des quantificateurs
les propositions suivantes :
1. La suite (un )n est majorée par 1 ; 6. La suite (un )n est constante ;
2. La suite (un )n est majorée ; 7. La fonction f est nulle ;
3. La suite (un )n n’est pas majorée ; 8. La fonction f s’annule ;
4. La suite (un )n est majoré est bornée ; 9. La fonction f est croissante ;
5. La suite (un )n est croissante ; 10. La fonction f admet un maximum
Exercice 2.
Soit I un intervalle de  est f une fonction de I dans  .Traduire par une phrase chacune
des propositions suivantes :
1. x  I , f ( x )  0 ;
2. x  I , y  I , f (x )  f ( y ) ;
3. x  I , f ( x )  0  x  0 ;
4. y   , x  I , f (x )  y ;
5. x  I , y  I , f (x )  f ( y )  x  y .
Exercice 3.
Montrer que pour tout x   , | x  1|  x 2  x  1
Exercice 4.
Résoudre dans  l’équation | x  1|  4 |3x  2|
Exercice 5.
2
En utilisant l’éventuel caractère rationnel du nombre réel 2 montrer qu’il existe un
2
nombre irrationnel x tel que x soit rationnel.
Exercice 6.
 
Soit x   . Montrer que   0, x 2    x  0
Exercice 7.
Montrer que   0,   0, | x |   | x 2 |  
Exercice 8.
Soient n1 , n2 ,...n9 des entiers naturels tels que n1  n2  ...  n9  90 .Montrer qu’il existe
parmi eux trois entiers dont la somme est supérieur ou égale à 30 .
Exercice 9.
n
1 3n
Montrer que n    {0,1}, k 2

k 1 2n  1
Exercice 10.
On pose a0  1 , a1  1 et n   , an 2  a n 1  ( n  1)a n
Montrer que : n   , an  n ! , où n !  1  2  ...  n si n  1 et 0!  1 .
Exercice 11.
Soit b  0 et (un )n la suite définie par la donné de u0  et la relation de récurrence :
n   ,un 1  bun2
Déterminer u n en fonction de n .
Exercice 12.
Montrer que pour tout n  ,il existe p ,q   ,tel que n  2p (2q  1) .
Exercice 13.
1 1 1
Montrer que pour tout n  , et x 1 ,..., x n    , (x 1  x 2  ...  x n )(   ...  )  n 2 .
x1 x2 xn
a b
Indication : on pourra commencer par montrer que pour tout a ,b    ,  ab
2
Exercice 14.
Déterminer la (ou les ) fonction(s) f :    vérifiant :
x   , y   , f (x  f ( y ))  1  x  y