Une proposition est un énoncé qui est soit vrai (V), soit faux (F).
Connecteurs logiques
Négation : non P (notée ¬P ou P). Vraie quand P est fausse.
Conjonction : P et Q (notée P ∧ Q). Vraie quand P et Q sont toutes deux vraies.
Disjonction : P ou Q (notée P ∨ Q). Vraie quand au moins l'une est vraie.
Implication : P ⇒ Q. Fausse uniquement quand P est vraie et Q fausse.
Équivalence : P ⇔ Q. Vraie quand P et Q ont la même valeur de vérité.
II. Quantificateurs
∀ (pour tout) : ∀x ∈ E, P(x) signifie que P(x) est vraie pour tout x de E.
∃ (il existe) : ∃x ∈ E, P(x) signifie qu'il existe au moins un x dans E tel que P(x) est vraie.
Négation des quantificateurs
¬(∀x, P(x)) ⇔ ∃x, ¬P(x)
¬(∃x, P(x)) ⇔ ∀x, ¬P(x)
III. Raisonnements mathématiques
Raisonnement direct : On part de l'hypothèse pour arriver à la conclusion.
Contraposée : (P⇒Q) ⇔ (¬Q⇒¬P)
Par l'absurde : On suppose ¬P et on aboutit à une contradiction.
Par récurrence : Initialisation + Hérédité ⇒ ∀n, P(n)
Contre-exemple : Pour réfuter ∀x P(x), il suffit de trouver un x₀ tel que ¬P(x₀).
Disjonction de cas : On étudie tous les cas possibles séparément.
🔑 Formules clés à retenir
¬(P ∧ Q) ⇔ (¬P) ∨ (¬Q)
¬(P ∨ Q) ⇔ (¬P) ∧ (¬Q)
(P⇒Q) ⇔ (¬Q⇒¬P)
¬(∀x, P(x)) ⇔ ∃x, ¬P(x)
⚠️
Astuces & Pièges à éviter
Les erreurs classiques — à lire avant les exercices !
🔴 Pièges classiques
❌
L'implication P⇒Q est fausse uniquement quand P est vraie et Q fausse. Si P est fausse, l'implication est toujours vraie (ex vacuo). "0=1⇒ la lune est en fromage" est une implication vraie !
❌
Confondre réciproque et contraposée : réciproque de (P⇒Q) est (Q⇒P) — qui n'est pas toujours vraie. La contraposée (¬Q⇒¬P) est toujours équivalente à (P⇒Q).
❌
Erreur de récurrence : oublier l'initialisation invalide tout le raisonnement. Même si l'hérédité est parfaite, sans initialisation la preuve est incomplète.
🟢 Astuces de pros
✅
Nier un quantificateur :¬(∀x,P(x))=∃x,¬P(x). Pour réfuter "tout entier est pair", il suffit de trouver UN entier impair.
✅
Choisir son raisonnement : si la contraposée ou l'absurde semble plus simple, utilise-les ! La contraposée est souvent plus naturelle pour les implications avec "si non...".
💡
Raisonnement par l'absurde : suppose la négation de ce qu'on veut prouver, déroule les implications jusqu'à une contradiction évidente (0=1, 2 rationnel, etc.).
🧭
Méthodes types
Pour chaque type de question : la démarche à suivre, étape par étape.
Méthodes types — Logique mathématique
Type 1 : Déterminer la valeur de vérité d'une proposition / sa négation
Quand ? On te donne une proposition avec un connecteur (∧, ∨, ⇒, ⇔) ou un quantificateur et on demande si elle est vraie, ou sa négation.
Identifie le connecteur ou le quantificateur principal.
Pour la valeur de vérité, applique les tables : P∧Q vraie ssi les deux vraies ; P∨Q fausse ssi les deux fausses ; P⇒Q fausse seulement si P vraie et Q fausse.
Pour la négation, applique les règles : P∧Q=P∨Q ; P∨Q=P∧Q ; P⇒Q=P∧Q.
Pour les quantificateurs : (∀x,P(x))=∃x,P(x) et (∃x,P(x))=∀x,P(x).
Conclus clairement par « vraie » ou « fausse » en justifiant.
Exemple éclair : Négation de ∀x∈R,x2≥0 est ∃x∈R,x2<0 (fausse).
Type 2 : Raisonnement par récurrence
Quand ? La propriété P(n) dépend d'un entier n≥n0 et on demande de la démontrer pour tout n (somme, divisibilité, inégalité...).
Initialisation : vérifie que P(n0) est vraie (souvent n0=0 ou 1).
Hérédité : suppose P(n) vraie pour un n≥n0 fixé (hypothèse de récurrence).
Montre alors que P(n+1) est vraie, en partant de P(n) et en faisant apparaître l'expression de rang n+1.
Conclusion : par le principe de récurrence, P(n) est vraie pour tout n≥n0.
Exemple éclair : Montrer k=1∑nk=2n(n+1) : vrai pour n=1 ; si vrai au rang n, on ajoute n+1 et on retrouve 2(n+1)(n+2).
Type 3 : Raisonnement par l'absurde
Quand ? On demande de prouver une proposition P (souvent une irrationalité, une unicité, ou « il n'existe pas... »).
Suppose le contraire : on suppose P vraie.
Enchaîne des déductions correctes à partir de cette hypothèse.
Aboutis à une contradiction (un énoncé et son contraire, ou une absurdité du type 0=1).
Conclus : l'hypothèse P est impossible, donc P est vraie.
Exemple éclair : Pour montrer que 2 est irrationnel, on suppose 2=qp irréductible, on aboutit à p et q tous deux pairs : contradiction.
Type 4 : Raisonnement par contraposée
Quand ? On veut prouver une implication P⇒Q difficile directement, mais dont la contraposée Q⇒P est plus simple.
Écris la contraposée : Q⇒P, équivalente à l'implication de départ.
Suppose Q (la négation de la conclusion).
Démontre P (la négation de l'hypothèse).
Conclus : la contraposée étant vraie, P⇒Q est vraie.
Exemple éclair : « Si n2 pair alors n pair » se prouve via : « si n impair alors n2 impair ».
Type 5 : Réfuter par contre-exemple
Quand ? On affirme une proposition universelle ∀x,P(x) que l'on soupçonne fausse, ou on demande de prouver qu'une implication est fausse.
Repère que pour réfuter ∀x,P(x) il suffit de trouver UN seul x0 tel que P(x0) soit fausse.
Cherche une valeur simple (souvent 0, 1, un négatif, une fraction).
Calcule et vérifie explicitement que P(x0) est fausse.
Conclus que la proposition est fausse, le contre-exemple le prouvant.
Exemple éclair : « ∀x∈R,x2>x » est fausse : pour x=21, on a 41<21.
Type 6 : Démontrer une équivalence P⇔Q
Quand ? L'énoncé contient « si et seulement si » ou le symbole ⇔.
Décompose en deux implications : P⇒Q et Q⇒P.
Démontre la première implication (sens direct).
Démontre la seconde implication (sens réciproque), avec la méthode adaptée (directe, contraposée...).
Conclus : les deux sens étant établis, P⇔Q.
Exemple éclair :x2=1⇔(x=1 ou x=−1) se prouve dans les deux sens.
Type 7 : Manipuler une proposition à deux quantificateurs
Quand ? La proposition mélange ∀ et ∃, par exemple ∀x,∃y,P(x,y).
Respecte l'ordre des quantificateurs : ici y peut dépendre de x.
Pour prouver ∀x,∃y,P(x,y) : prends x quelconque, puis construis explicitement un y (souvent en fonction de x) qui convient.
Pour nier, inverse chaque quantificateur et nie le cœur : ∃x,∀y,P(x,y).
Attention : ∀x∃y et ∃y∀x ne sont pas équivalents.
Exemple éclair :∀x∈R,∃y∈R,y>x est vraie (prendre y=x+1).
Logique mathématique — Fiche d'exercices
1ère Année Collège — Atlasmaths.ma | Écris tes réponses dans les espaces prévus
Exercices interactifs
110 exercices • Lis l'énoncé, écris ta réponse, puis vérifie la correction
Bloqué sur cet exercice ? Prof Hicham t'explique pas à pas.
Correction détaillée
21
Disjonction de propositions
Facile
Corrigé
Énoncé
Considérons les propositions P : "Le Maroc a gagné la coupe du monde" et Q : "Le Maroc est en Afrique." Calculez la valeur de vérité de P ∨ Q si P est faux et Q est vrai.
Bloqué sur cet exercice ? Prof Hicham t'explique pas à pas.
Correction détaillée
25
Disjonction de propositions
Facile
Corrigé
Énoncé
Soit P : "Le prix de l'essence est inférieur à 10 dirhams" et Q : "Le pain coûte moins de 5 dirhams." Quelle est la valeur de P ∨ Q si P est faux et Q est vrai ?
Bloqué sur cet exercice ? Prof Hicham t'explique pas à pas.
Correction détaillée
29
Conjonction de deux propositions
Facile
Corrigé
Énoncé
Considérons les propositions P : "Il fait chaud à Casablanca" et Q : "Les plages sont pleines". Déterminez la valeur de vérité de P ∧ Q si P est vraie et Q est fausse.
Bloqué sur cet exercice ? Prof Hicham t'explique pas à pas.
Correction détaillée
30
Disjonction de deux propositions
Facile
Corrigé
Énoncé
Soit P : "Il y a un match de football à Tanger" et Q : "Il y a un concert à Agadir". Quelle est la valeur de vérité de P ∨ Q si P est fausse et Q est vraie ?
Bloqué sur cet exercice ? Prof Hicham t'explique pas à pas.
Correction détaillée
56
Encadrement de a moins a au carre
Intermédiaire
Corrigé
Énoncé
Encadrement et produit
Montrer que pour tout a∈[0;1] : 0≤a−a2≤41.
Soit n∈N∗ et x1,x2,…,xn des réels de [0;1]. On pose An=x1x2⋯xn et Bn=(1−x1)(1−x2)⋯(1−xn). Montrer que 0≤AnBn≤4n1, puis que Bn≤2n1 ou An≤2n1.
Bloqué sur cet exercice ? Prof Hicham t'explique pas à pas.
Correction détaillée
69
Implication
Intermédiaire
Corrigé
Énoncé
Soit P : "Je vais au marché" et Q : "J'achète des légumes". Vérifiez la vérité de l'implication P ⇒ Q si je vais au marché mais je n'achète pas de légumes.
Bloqué sur cet exercice ? Prof Hicham t'explique pas à pas.
Correction détaillée
75
Implication
Intermédiaire
Corrigé
Énoncé
Montrez que l'implication P ⇒ Q est fausse dans le cas où P est vraie et Q est fausse. Prenez P : "Les souks sont ouverts" et Q : "Les clients achètent des produits".
Bloqué sur cet exercice ? Prof Hicham t'explique pas à pas.
Correction détaillée
76
Équivalence
Intermédiaire
Corrigé
Énoncé
Soit P : "Les taxis à Marrakech sont disponibles" et Q : "Il y a des taxis à Marrakech". Déterminez si P ⇔ Q est vrai ou faux si les deux propositions sont vraies.
Bloqué sur cet exercice ? Prof Hicham t'explique pas à pas.
Correction détaillée
77
Quantificateurs
Intermédiaire
Corrigé
Énoncé
Pour l'ensemble des étudiants de 1ère Bac, affirmez si la proposition suivante est vraie : "Tous les étudiants de cette classe aiment les mathématiques". Utilisez le quantificateur ∀.
Bloqué sur cet exercice ? Prof Hicham t'explique pas à pas.
Correction détaillée
100
Disjonction de cas
Difficile
Corrigé
Énoncé
Soit P : "Je vais au marché" et Q : "J'achète des légumes". Étudiez les cas suivants : 1) Je vais au marché et j'achète des légumes. 2) Je vais au marché mais je n'achète pas de légumes. 3) Je ne vais pas au marché. Quels sont les résultats possibles ?
Bloqué sur cet exercice ? Prof Hicham t'explique pas à pas.
Correction détaillée
104
Raisonnement par l'absurde
Difficile
Corrigé
Énoncé
Supposez que P : "Tous les produits du souk sont frais". Utilisez un raisonnement par l'absurde pour prouver que P est faux si l'on trouve un produit qui n'est pas frais.
Bloqué sur cet exercice ? Prof Hicham t'explique pas à pas.
Correction détaillée
105
Évaluation des propositions
Difficile
Corrigé
Énoncé
Considérons les propositions suivantes : P : "Il pleut aujourd'hui", Q : "Je vais au marché", R : "Je prends un taxi". On définit les connecteurs logiques suivants : A : P ∧ Q, B : ¬R, C : P ⇒ R. Évaluez la valeur de vérité de l'expression (A ∨ B) ∧ ¬C si l'on sait que P est vrai, Q est vrai et R est faux.
Bloqué sur cet exercice ? Prof Hicham t'explique pas à pas.
Correction détaillée
106
Démonstration par contraposée
Difficile
Corrigé
Énoncé
Soit P : "Le prix du pain est supérieur à 5 dirhams" et Q : "Les clients achètent du pain". Montrez que la contraposée de l'implication P ⇒ Q est équivalente à ¬Q ⇒ ¬P. Interprétez le résultat dans le contexte d'une boulangerie à Marrakech.
Bloqué sur cet exercice ? Prof Hicham t'explique pas à pas.
Correction détaillée
107
Raisonnement par l'absurde
Difficile
Corrigé
Énoncé
Supposons qu'il existe un nombre entier n tel que n2 est pair. Montrez par l'absurde que n est également pair. Utilisez des connecteurs logiques et justifiez chaque étape.
Bloqué sur cet exercice ? Prof Hicham t'explique pas à pas.
Correction détaillée
108
Disjonction de cas
Difficile
Corrigé
Énoncé
Dans une ville marocaine, on analyse les habitudes de transport des habitants. Soit P : "Les habitants prennent le bus", Q : "Les habitants prennent le taxi". Montrez que (P ∨ Q) ⇒ R, où R : "Les habitants se déplacent". Utilisez la disjonction de cas pour démontrer que si P est vrai, alors R est vrai. Faites de même pour Q.
Bloqué sur cet exercice ? Prof Hicham t'explique pas à pas.
Correction détaillée
109
Récurrence mathématique
Difficile
Corrigé
Énoncé
Considérons la suite définie par a₁ = 1 et aₙ = aₙ₋₁ + 2 pour n ≥ 2. Montrez par récurrence que pour tout n ∈ N, aₙ = 2n - 1. Précisez les étapes d'initialisation et d'hérédité.