★ À maîtriser
📌 Une implication p → q est fausse uniquement lorsque p est vraie et q est fausse, tandis qu’elle est vraie dans les trois autres cas.
📐 Formule — Les équivalences logiques fondamentales sont , et .
Compléments
Implication p→q : vraie sauf quand p est vraie et q fausse ; équivalence p↔q : mêmes valeurs de vérité.
★ À maîtriser
Pour démontrer une implication par contraposition, on montre que la négation de la conclusion entraîne la négation de l’hypothèse.
Pour démontrer une implication par l’absurde, on suppose l’hypothèse et la négation de la conclusion, puis on obtient une contradiction.
📌 Si x + y + z < 73, alors x < 4 ou y < 66 ou z < 3, car la négation simultanée de ces trois inégalités donnerait x + y + z ≥ 73.
Compléments
📌 Pour tout entier relatif n, si 9n + 7 est pair, alors n est impair.
Directe, contraposition, absurde : trois chemins pour établir une implication.
★ À maîtriser
📌 Le nombre (7 − √2)/5 est irrationnel.
📌 Si un entier naturel non nul n est le carré d’un entier, alors 2n n’est pas le carré d’un entier.
Compléments
📌 Si a et b sont des entiers relatifs et a + b√2 = 0, alors a = 0 et b = 0.
📐 Formule — Pour tous entiers relatifs k, l, m et n, .
Pairité : travailler modulo 2 ; irrationalité : supposer rationnel puis obtenir une contradiction.
★ À maîtriser
📐 Formule — Pour tout entier n ≥ 1, .
Compléments
📌 Pour tout entier n ≥ 4, l’inégalité 5^(n−1) ≥ 3n + 2 est vraie.
📌 Pour tout entier n ≥ 0, 7^(n+2) + 8^(2n+1) est divisible par 57.
Initialisation → hérédité → conclusion pour tout n.
★ À maîtriser
Compléments
Visualiser les ensembles comme des boîtes : appartenance dans une boîte, inclusion entre boîtes.
★ À maîtriser
📐 Formule — Les lois de De Morgan sont et .
📐 Formule — Pour des ensembles E et F, .
Compléments
📌 Si A ∩ B = A ∩ C et A ∪ B = A ∪ C, alors B = C.
📐 Formule — Le produit cartésien distribue sur l’union selon .
Complémenter inverse union et intersection ; le produit cartésien devient vide dès qu’un facteur est vide.
★ À maîtriser
Compléments
Dans le QCM, l’assertion (x + y + z < 2020) ⇒ (x < 1000 ou y < 500 ou z < 520) est vraie.
Dans le QCM, l’assertion « L’entier 6 est la somme de trois carrés d’entiers » est vraie, car 6 = 1² + 1² + 2².
Dans le QCM sur les ensembles, si B = {0,1,b} et C = {1,b,c}, alors B ∩ C = {1,b}.
Notions logiques à distinguer
| Notion | Condition | Erreur fréquente |
|---|---|---|
| Implication p → q | Fausse seulement si p vraie et q fausse | La confondre avec une équivalence |
| Tautologie | Vraie pour toutes les valuations | La confondre avec une proposition seulement vraie dans un cas |
| Contraposition | ¬q → ¬p équivaut à p → q | Utiliser ¬p → ¬q |
| Absurde | Nier la conclusion et obtenir une contradiction | Nier l’hypothèse |
Teste tes connaissances sur Raisonnement et ensembles avec 20 questions à choix multiples et corrections détaillées.
1. Dans quel cas l’implication est-elle fausse ?
2. Quelle équivalence logique permet de transformer la négation d’une implication ?
Mémorisez les concepts clés de Raisonnement et ensembles avec 41 flashcards interactives.
Quand une implication p → q est-elle fausse ?
Quand p est vraie et q est fausse.
Quelle équivalence logique exprime ¬(p → q) ?
¬(p → q) est équivalent à p ∧ ¬q.
Comment s'exprime p ↔ q en équivalence logique ?
p ↔ q est équivalent à (p ∧ q) ∨ (¬p ∧ ¬q).
Importe ton cours et l'IA génère fiches, QCM et flashcards en 30 secondes.
Générateur de fiches