Scribd
Importer
4 vues2 pages

Logique et Mathématiques en CPGE MPSI5

Le document est un ensemble d'exercices de logique mathématique pour l'année scolaire 2021-2022 à la CPGE Ibn Timiya Marrakech. Il couvre divers sujets tels que les propriétés des fonctions, les propositions logiques, les démonstrations de propriétés des nombres réels, et la représentation binaire des entiers. Chaque exercice demande des démonstrations ou des traductions de propriétés mathématiques à l'aide de quantificateurs.

Transféré par

lankoanderahner5
Copyright
© All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
4 vues2 pages

Logique et Mathématiques en CPGE MPSI5

Le document est un ensemble d'exercices de logique mathématique pour l'année scolaire 2021-2022 à la CPGE Ibn Timiya Marrakech. Il couvre divers sujets tels que les propriétés des fonctions, les propositions logiques, les démonstrations de propriétés des nombres réels, et la représentation binaire des entiers. Chaque exercice demande des démonstrations ou des traductions de propriétés mathématiques à l'aide de quantificateurs.

Transféré par

lankoanderahner5
Copyright
© All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

CPGE Ibn Timiya Marrakech TD.Éléments de logique.

Année scolaire : 2021-2022

MPSI5 Mathématiques


Exercice 1: 
Soit J un intervalle de R et soit f : R → J une fonction. Traduire avec des quanticateurs les
propriétés suivantes :
1. f n'est pas paire
2. f n'est pas strictement décroissante
3. f est périodique
4. f ne s'annule pas sur R
5. f n'est pas constante
6. f n'est pas la fonction nulle
7. f est croissante
8. f réalise une bijection de R sur J .

Exercice 2: 

1. Montrer que ∀a ∈ [0, 1], ∃b ∈ R, a = cos b.


2. En déduire que ∀t ∈ [0, 2], ∃(x, y) ∈ R2 : t = cos x + sin y

Exercice 3: 

Soit P (x, y) une proposition dépendant de deux variables, et soient E et F deux ensembles.
Montrer que (∃x ∈ E, ∀y ∈ F, P (x, y)) ⇒ (∀y ∈ F, ∃x ∈ E, P (x, y)). Que dire de la réciproque ?

Exercice 4: 
Soient P, Q, R trois propositions logiques.
1. Redémontrer que P ⇒ Q est équivalente à ¬P ∨ Q. Retrouver la négation de P ⇒ Q.
2. Montrer que les assertions suivantes sont équivalentes :
(a) (P ∨ Q) ⇒ R et (P ⇒ R) ∧ (Q ⇒ R).
(b) (P ⇒ (Q ⇒ R)) et ((P ∧ Q) ⇒ R)

Exercice 5: 

Soit x un réel. Montrer que (∀ε > 0, |x| < ε) ⇒ x = 0



Exercice 6: 

Montrer que ln 2
ln 3
/ Q.
∈

Exercice 7: 
√ √ √
q
Le réel α = 2 + 3 est-il rationnel ? Même question pour
p
4+ 3+ 2

1

Exercice 8: 

1. Déterminer toutes les fonctions f : R → R telles ∀(x, y) ∈ R2 , f (xy) = f (x) + f (y)


2. Déterminer toutes les fonctions f : R → R telles que ∀x ∈ R, ∀y ∈ R, f (x)f (y) − f (xy) = x + y

Exercice 9: 
écriture binaire d'un entier Montrer que tout entier n ∈ N∗ peut s'écrire comme somme de puissances
de 2 deux à deux distinctes.

Exercice 10: 
Soit n ∈ Z.
1. Démontrer que
√ n est pair si et seulement si n est pair.
2

2. Prouver que 2 n'est pas un nombre rationnel.



Exercice 11: 
Négation d'une proposition.
1. Soit X une partie de R, nier
∀x ∈ X, ∃n ∈ N tel que x ≤ n
2. Soit (xn )n∈N une suite de nombres complexes, nier

∃M ∈ R tel que ∀n ∈ N, |xn | ≤ M

3. Soit (xn )n∈N une suite de nombres réels, nier

∀ε > 0, ∃N ∈ N tq ∀n ∈ N, (n ≥ N ⇒ |xn | < ε)


Exercice 12: 

Montrer que 1 + 12 + · · · + 21n 6 1 + n2



Exercice 13: 

Soit (un ) une suite à valeurs dans R+? . Montrer que ∀n ∈ N? , u3k = ( nk=1 uk ) si, et seulement
2
Pn P
k=1
si, ∀n ∈ N? , un = n

Exercice 14: 

Soit x ∈ R tel que x + x1 ∈ Z. Montrer que pour tout n ∈ N


1
xn + ∈Z
xn


Exercice 15: 
Montrer que
∀n ∈ N? , ∃p, q ∈ N/n = 2q (2p + 1)

FIN

Vous aimerez peut-être aussi