Académique Documents
Professionnel Documents
Culture Documents
1 Logique
Exercice 1. Démontrer les théorèmes de logiques suivants :
1. ¬(p ou q) ⇐⇒ (¬p) et (¬q)
2. ¬(p et q) ⇐⇒ (¬p) ou (¬q)
3. (p =⇒ q) ⇐⇒ ((¬p) ou q)
4. (p =⇒ q) ⇐⇒ ((¬q) =⇒ (¬p))
5. (¬(p =⇒ q)) ⇐⇒ (p et (¬q))
6. ((p =⇒ q)et(q =⇒ p)) ⇐⇒ (p ⇐⇒ q)
7. (p ⇐⇒ q) ⇐⇒ (q ⇐⇒ p)
p =⇒ q p ⇐⇒ q
8. q =⇒ r =⇒ p ⇐⇒ r
r =⇒ p q ⇐⇒ r
Exercice 2. Dans chaque question ci-dessous, on suppose la proposition (P) vrai. Dire si les proposi-
tions suivantes sont vraies ou fausses.
1. (P) : Si f : R → R est dérivable, alors f est continue.
(a) f n’est pas dérivable, donc f n’est pas continue
(b) f est continue, donc f est dérivable
(c) f n’est pas continue, donc f n’est pas dérivable
2. (P) : Toute suite convergente est bornée.
(a) La suite (un )n∈N est bornée, donc convergente
(b) La suite (un )n∈N n’est pas convergente, donc elle n’est pas bornée
(c) La suite (un )n∈N n’est pas bornée, donc elle n’est pas convergente
(d) La suite (un )n∈N n’est pas convergente ou la suite (un )n∈N n’est pas bornée
(e) Soit la suite (un )n∈N n’est pas convergente, soit elle est est bornée
2 Ensembles
Exercice 6.
1. Écrire en compréhension puis, si possible, en extension :
(a) l’ensemble A des nombres entiers naturels compris entre 11 et 45 qui sont multiples de 3,
x2 1
(b) l’ensemble des solutions réelles de l’équation x−1 = x−1 , ;
√
(c) l’ensemble des solutions réelles de l’équation ; x2 = −x,
(d) l’ensemble des solutions entières de l’équation x2 = 2.
2. Écrire si possible, en compréhension :
(a) l’ensemble des entiers naturels pairs,
(b) l’ensemble {1,3,4,7,9,11},
√ √
(c) l’ensemble {− 2, 2}.
Exercice 8.
1. Écrire en extension l’ensemble des parties de l’ensemble {a,b,c}.
2. Écrire en extension l’ensemble des parties de l’ensemble vide P(∅) puis P(P(∅)) puis P(P(P(∅))).