Ensembles, logique et raisonnement — fiche résumé
L'essentiel du chapitre en une page : 9 points à retenir et 1 méthode. À relire avant un contrôle, ou à imprimer.
À retenir
1. Ensembles et appartenance
Définitions
- Un ensemble est une collection d'objets, appelés ses éléments.
- x appartient à E s'écrit x ∈ E. Le contraire s'écrit x ∉ E.
- L'ensemble qui ne contient aucun élément est l'ensemble vide, noté ∅.
- Un ensemble fini peut être donné en extension : A = {1 ; 3 ; 5}.
- Son cardinal, noté Card(A), est son nombre d'éléments. Ici Card(A) = 3.
Ensembles de nombres
| Notation | Nom | Exemples et description |
|---|---|---|
| ℕ | entiers naturels | 0 ; 1 ; 2 ; 3 ; ... |
| ℤ | entiers relatifs | ... ; −2 ; −1 ; 0 ; 1 ; 2 ; ... |
| 𝔻 | nombres décimaux | écriture décimale finie : 2,75 ; −0,04 ; 7 |
| ℚ | nombres rationnels | quotients ab avec a ∈ ℤ, b ∈ ℤ et b ≠ 0 |
| ℝ | nombres réels | toutes les abscisses de la droite numérique, dont √2 et π |
On a les inclusions : ℕ ⊂ ℤ ⊂ 𝔻 ⊂ ℚ ⊂ ℝ.
2. Inclusion, réunion, intersection et complémentaire
Définitions
- A est un sous-ensemble de E, ou A est inclus dans E, si tout élément de A appartient à E. On écrit A ⊂ E.
- A ∩ B est l'intersection : les éléments appartenant à A et à B.
- A ∪ B est la réunion : les éléments appartenant à A ou à B, éventuellement aux deux.
- Le complémentaire de A dans E, noté E \ A (ou Ā en probabilités), contient les éléments de E qui ne sont pas dans A.
3. Couples et produit cartésien
Définition
Le produit cartésien A × B est l'ensemble des couples (a ; b) tels que a ∈ A et b ∈ B. L'ordre compte : en général (a ; b) ≠ (b ; a).
4. Propositions, négation et connecteurs
Définitions
Une proposition mathématique est une phrase dont on peut décider si elle est vraie ou fausse.
- « P et Q » est vraie seulement si P et Q sont toutes deux vraies.
- « P ou Q » est vraie si au moins l'une des deux est vraie. En mathématiques, ce « ou » est inclusif.
- La négation de P est la proposition « non P », vraie exactement quand P est fausse.
Négations utiles
| Proposition | Négation |
|---|---|
| x = 3 | x ≠ 3 |
| x < 3 | x ≥ 3 |
| x ≤ 3 | x > 3 |
| x ∈ A ∩ B | x ∉ A ou x ∉ B |
| x ∈ A ∪ B | x ∉ A et x ∉ B |
5. Implication, réciproque, contraposée et équivalence
Définitions
- « Si P, alors Q » est une implication, notée P ⇒ Q. P est une condition suffisante pour Q ; Q est nécessaire pour P.
- Sa réciproque est Q ⇒ P. Elle peut être fausse même si l'implication est vraie.
- Sa contraposée est « non Q ⇒ non P ». Elle a toujours la même valeur de vérité que P ⇒ Q.
- Si P ⇒ Q et Q ⇒ P sont vraies, on a une équivalence P ⇔ Q : « P si et seulement si Q ».
6. Quantification en langage courant et raisonnements
Vocabulaire
- « Pour tout réel x, ... » affirme une propriété universelle.
- « Il existe au moins un réel x tel que ... » affirme une existence.
- La négation de « tous les éléments ont P » est « il existe au moins un élément qui n'a pas P ».
- La négation de « il existe un élément ayant P » est « aucun élément n'a P ».
Limite du programme : les symboles formels de quantification ne sont pas exigibles en Seconde ; on privilégie les formulations en français.
Erreurs fréquentes
- Confondre ∈ et ⊂ : 2 ∈ ℕ, tandis que {2} ⊂ ℕ.
- Croire que « ou » exclut le cas où les deux propriétés sont vraies.
- Prendre la réciproque pour une conséquence automatique.
- Essayer de prouver une règle générale avec quelques exemples : des exemples illustrent, ils ne démontrent pas.
Les méthodes
Ce qu'il faut savoir faire, et dans quel ordre.
Méthode 1Méthodes de preuve
- Preuve directe : partir des hypothèses et enchaîner des propriétés justifiées.
- Contre-exemple : un seul cas contraire suffit à réfuter une affirmation universelle.
- Disjonction de cas : examiner tous les cas possibles, par exemple n pair ou n impair.
- Raisonnement par l'absurde : supposer le contraire du résultat, puis obtenir une contradiction.
Le cours en détail, avec les exemples → 8 exercices corrigés