Académique Documents
Professionnel Documents
Culture Documents
: 2020-2021
Département des classes préparatoires Mathématiques Supérieures
Mathématiques discrètes
Logique et quantificateurs
Exercice 1: Soient R, S et T des propositions. Montrer sans tables de vérité que les propositions suivantes sont vraies.
1. P1 : R =⇒ (S =⇒ R). 4. P4 : (R =⇒ (S ∨ T )) ⇐⇒ (S ∨ ¬R ∨ T ).
2. P2 : (R =⇒ S) =⇒ ((S =⇒ T ) =⇒ (R =⇒ T )). 5. P5 : (R =⇒ S) =⇒ ((R ∧ T ) =⇒ (S ∧ T )).
3. P3 : (R ∨ S) ⇐⇒ ((R =⇒ S) =⇒ S). 6. P6 : (R ⇐⇒ S) =⇒ ((T =⇒ R) ⇐⇒ (T =⇒ S)).
Exercice 5: Traduire en français les énoncés mathématiques suivants puis écrire leur négation :
1. ∃m ∈ R, ∀x ∈ I, f (x) > m. 4. ∃n0 ∈ N, ∀n ∈ N, n > n0 =⇒ un = un0 .
2. ∀x ∈ I, ∃y ∈ R, f (x) = y. 5. ∃T > 0, ∀x ∈ R, f (x + T ) = f (x).
3. ∃y ∈ R, ∀x ∈ I, f (x) = y. 6. ∃x0 ∈ I, ∀x ∈ I, f (x) 6 f (x0 ).
Exercice 6: Dans chacun des cas suivants, dire si la proposition est vraie ou fausse. Justifier.
1. La contraposée de “Si tous les feux de circulation sont verts, je peux démarrer” est “je ne peux pas démarrer si tous les
feux de circulation ne sont pas verts”.
2. La négation de “la fonction f est croissante sur R” est “la fonction f est décroissante sur R”.
3. Soit n un entier. “4 divise n est une condition nécessaire pour que “2 divise n”.
4. ∃x ∈ R; sin(x) = x. 8. ∀x ∈ R, ∃y ∈ R, x + y 2 = 1. 12. ∃a ∈ R, ∀ε > 0, |a| < ε.
5. ∀x ∈ R, x2 + 1 6= 0. 9. ∃x ∈ R, ∀y ∈ R, x + y 2 = 1. 13. ∀ε > 0, ∃a ∈ R, |a| < ε.
2 2
6. ∀x ∈ C, x + 1 6= 0. 10. ∃x ∈ R, ∃y ∈ R, x + y = 1. 14. ∀n ∈ N; n2 + n + 1 6 n3 .
7. ∀x ∈ R, ∀y ∈ R, x + y 2 = 1. 11. ∀x ∈ R, x2 = 4 ⇐⇒ x = 2. 15. ∀x ∈ R, ∃n ∈ N; n > x.
Exercice 8:
1. Montrer que la proposition : “(∃x ∈ R; cos x = 0) et (∃x ∈ R; sin x = 0)” est vraie.
2. Montrer que la proposition : “(∃x ∈ R; cos x = 0 et sin x = 0)” est fausse.
Raisonnements mathématiques
Exercice 15: Soient A = [1, 3], B =]2, 4], C = [1, 2[. Déterminer
1. A ∩ B. 2. A ∪ B. 3. B ∩ C. 4. B ∪ C.
Exercice 17: Soient A =] − ∞, 1[∪[2, +∞[, B =] − ∞, 1[ et C = [2, +∞[. Comparer les ensembles Ac et B c ∩ C c .
Établir que X = X 0 , Y = Y 0 , Z = Z 0 .
Exercice 25: Soient E et F deux ensembles non vides, A et B deux parties de E, C et D deux parties de F .
1. Montrer que (A × C) ∪ (B × C) = (A ∪ B) × C.
2. Montrer que (A × C) ∪ (B × D) ⊂ (A ∪ B) × (C ∪ D). A-t-on égalité ?
3. Démontrer que (A × C) ∩ (B × D) = (A ∩ B) × (C ∩ D).
Exercice 26: Soient E un ensemble et A et B deux parties de E. On désigne par P(A) (resp. P(B)) l’ensemble des parties
de A (resp. de B).
1. Montrer que P(A ∩ B) = P(A) ∩ P(B).
2. Montrer que P(A) ∪ P(B) ⊂ P(A ∪ B). Donner un exemple où l’inclusion est stricte.