Mathématiques · Agronomie, vétérinaire & architecture — IAV Hassan II

Logique et Ensembles

Le cours expliqué simplement, les questions que tous les élèves se posent et des exercices type examen national. Programme marocain, gratuit.

📘 Fiche de cours

L'essentiel du cours

Logique : Une proposition est une phrase soit vraie, soit fausse. Les connecteurs ( $\neg, \land, \lor, \implies, \iff$ ) permettent de construire des propositions composées.
Quantificateurs : $\forall$ (pour tout) et $\exists$ (il existe). La négation inverse les quantificateurs ( $\neg(\forall x, P(x)) \iff \exists x, \neg P(x)$ ).
Raisonnement : Direct, par contraposée ( $P \implies Q \equiv \neg Q \implies \neg P$ ), par l'absurde, ou par récurrence.
Ensembles : $A \subset B \iff (\forall x, x \in A \implies x \in B)$ . L'égalité $A=B$ se montre par double inclusion.

Méthodes à maîtriser

Démontrer une égalité d'ensembles : Montrer $A \subset B$ et $B \subset A$ .
Démontrer par récurrence : Initialisation (pour $n_0$ ), Hérédité (supposer $P(n)$ , montrer $P(n+1)$ ), Conclusion.
Négation : Savoir nier les quantificateurs et les implications ( $\neg(P \implies Q) \equiv P \land \neg Q$ ).

Exemples corrigés

Exemple 1 : Montrer que $\forall n \in \mathbb{N}, n^2+n$ est pair. Réponse : $n^2+n = n(n+1)$ . Comme $n$ et $n+1$ sont deux entiers consécutifs, l'un est pair, donc leur produit est pair.
Exemple 2 : Nier : " $\forall x \in \mathbb{R}, x^2 > 0$ ". Réponse : $\exists x \in \mathbb{R}, x^2 \leq 0$ . (C'est faux car $0^2=0$ ).

Erreurs fréquentes

Confondre $\implies$ et $\iff$ .
Oublier l'initialisation dans la récurrence.
Nier une implication en niant la conclusion sans toucher à l'hypothèse.
Confondre $\in$ (élément) et $\subset$ (ensemble).

L'essentiel du cours

Logique : Une proposition est une phrase soit vraie, soit fausse. Les connecteurs ($\neg, \land, \lor, \implies, \iff$) permettent de construire des propositions composées.
Quantificateurs : $\forall$ (pour tout) et $\exists$ (il existe). La négation inverse les quantificateurs ($\neg(\forall x, P(x)) \iff \exists x, \neg P(x)$).
Raisonnement : Direct, par contraposée ($P \implies Q \equiv \neg Q \implies \neg P$), par l'absurde, ou par récurrence.
Ensembles : $A \subset B \iff (\forall x, x \in A \implies x \in B)$. L'égalité $A=B$ se montre par double inclusion.

Méthodes à maîtriser

Démontrer une égalité d'ensembles : Montrer $A \subset B$ et $B \subset A$.
Démontrer par récurrence : Initialisation (pour $n_0$), Hérédité (supposer $P(n)$, montrer $P(n+1)$), Conclusion.
Négation : Savoir nier les quantificateurs et les implications ($\neg(P \implies Q) \equiv P \land \neg Q$).

Exemples corrigés

Exemple 1 : Montrer que $\forall n \in \mathbb{N}, n^2+n$ est pair. Réponse : $n^2+n = n(n+1)$. Comme $n$ et $n+1$ sont deux entiers consécutifs, l'un est pair, donc leur produit est pair.
Exemple 2 : Nier : "$\forall x \in \mathbb{R}, x^2 > 0$". Réponse : $\exists x \in \mathbb{R}, x^2 \leq 0$. (C'est faux car $0^2=0$).

Erreurs fréquentes

Confondre $\implies$ et $\iff$.
Oublier l'initialisation dans la récurrence.
Nier une implication en niant la conclusion sans toucher à l'hypothèse.
Confondre $\in$ (élément) et $\subset$ (ensemble).

🌉 Jisr : les mots du chapitre FR ⇄ AR

Tu as appris les sciences en arabe ? Touche un mot pour voir sa traduction et une explication en darija.

La question que tu n'oses pas poser en classe ? Pose-la à UstadZéro jugement, même en darija, même à minuit. Il t'explique pas à pas et corrige ta démarche. Gratuit.Commencer gratuitement

Défi flash : 4 questions

Sans compte

🎯 Logique et Ensembles

1/4

La négation de la proposition " $\exists x \in \mathbb{R}, x^2 = 2$ " est :

La négation de la proposition "$\exists x \in \mathbb{R}, x^2 = 2$" est :

❓ Questions fréquentes

Comment démontrer qu'un ensemble est vide ?

Supposer par l'absurde qu'il existe un élément $x$ appartenant à cet ensemble.
Développer les conditions imposées par l'appartenance à cet ensemble.
Aboutir à une contradiction logique (ex: $1=0$ ou $x \neq x$ ).
Conclure que l'hypothèse de départ est fausse, donc l'ensemble est vide.

💡 À retenir : Le raisonnement par l'absurde est l'outil le plus puissant pour prouver qu'une situation est impossible.

Supposer par l'absurde qu'il existe un élément $x$ appartenant à cet ensemble.
Développer les conditions imposées par l'appartenance à cet ensemble.
Aboutir à une contradiction logique (ex: $1=0$ ou $x \neq x$).
Conclure que l'hypothèse de départ est fausse, donc l'ensemble est vide.

💡 À retenir : Le raisonnement par l'absurde est l'outil le plus puissant pour prouver qu'une situation est impossible.

Kifach n3ref wach nkhdem b l'absurde wla l'contraposée ?

Si tu veux prouver $P \implies Q$ et que tu vois que $\neg Q$ donne des informations utiles, utilise la contraposée.
Si tu veux prouver une égalité ou une propriété et que tu es bloqué, utilise l'absurde en supposant le contraire de ce que tu cherches.

💡 À retenir : La contraposée est pour les implications, l'absurde est pour tout type de proposition.

Si tu veux prouver $P \implies Q$ et que tu vois que $\neg Q$ donne des informations utiles, utilise la contraposée.
Si tu veux prouver une égalité ou une propriété et que tu es bloqué, utilise l'absurde en supposant le contraire de ce que tu cherches.

💡 À retenir : La contraposée est pour les implications, l'absurde est pour tout type de proposition.

Est-ce que l'ordre des quantificateurs est important ?

Oui, énormément.

$\forall x, \exists y, P(x,y)$ signifie que pour chaque $x$ , il existe au moins un $y$ qui dépend de $x$ .
$\exists y, \forall x, P(x,y)$ signifie qu'il existe un seul $y$ qui marche pour tous les $x$ en même temps.

💡 À retenir : Inverser les quantificateurs change totalement le sens mathématique.

Oui, énormément.

$\forall x, \exists y, P(x,y)$ signifie que pour chaque $x$, il existe au moins un $y$ qui dépend de $x$.
$\exists y, \forall x, P(x,y)$ signifie qu'il existe un seul $y$ qui marche pour tous les $x$ en même temps.

💡 À retenir : Inverser les quantificateurs change totalement le sens mathématique.

Chno hiya l'hérédité f l'induction (récurrence) ?

C'est l'étape où tu supposes que la propriété est vraie pour un rang $n$ (l'hypothèse de récurrence), et tu dois démontrer qu'elle reste vraie pour le rang $n+1$ .

Écris $P(n)$ .
Calcule $P(n+1)$ en utilisant $P(n)$ .

💡 À retenir : L'hérédité est le pont qui permet de passer d'un rang au suivant.

C'est l'étape où tu supposes que la propriété est vraie pour un rang $n$ (l'hypothèse de récurrence), et tu dois démontrer qu'elle reste vraie pour le rang $n+1$.

Écris $P(n)$.
Calcule $P(n+1)$ en utilisant $P(n)$.

💡 À retenir : L'hérédité est le pont qui permet de passer d'un rang au suivant.

Comment montrer que A subset B ?

Soit $x$ un élément quelconque de $A$ ( $x \in A$ ).
Utilise les propriétés de $A$ pour montrer que $x$ vérifie aussi les propriétés de $B$ .
Conclure que $x \in B$ .

💡 À retenir : Pour montrer une inclusion, on prend un élément arbitraire dans le premier ensemble.

Soit $x$ un élément quelconque de $A$ ($x \in A$).
Utilise les propriétés de $A$ pour montrer que $x$ vérifie aussi les propriétés de $B$.
Conclure que $x \in B$.

💡 À retenir : Pour montrer une inclusion, on prend un élément arbitraire dans le premier ensemble.

Kifach nni l'implication P implies Q ?

La négation de $P \implies Q$ est $P \land \neg Q$ .

Tu gardes l'hypothèse $P$ vraie.
Tu nies la conclusion $Q$ .

💡 À retenir : Une implication n'est fausse que dans un seul cas : quand $P$ est vraie et $Q$ est fausse.

La négation de $P \implies Q$ est $P \land \neg Q$.

Tu gardes l'hypothèse $P$ vraie.
Tu nies la conclusion $Q$.

💡 À retenir : Une implication n'est fausse que dans un seul cas : quand $P$ est vraie et $Q$ est fausse.

Est-ce que l'ensemble vide est inclus dans tous les ensembles ?

Oui, par définition. Pour tout ensemble $A$ , $\emptyset \subset A$ .

💡 À retenir : L'ensemble vide ne contient aucun élément, donc la condition "tout élément de $\emptyset$ est dans $A$ " est toujours vraie (c'est une vérité vacue).

Oui, par définition. Pour tout ensemble $A$, $\emptyset \subset A$.

💡 À retenir : L'ensemble vide ne contient aucun élément, donc la condition "tout élément de $\emptyset$ est dans $A$" est toujours vraie (c'est une vérité vacue).

Est-ce que je peux utiliser le raisonnement par disjonction de cas ?

Oui, c'est très utile quand tu as une valeur absolue ou une partie entière.

Divise ton domaine en intervalles où l'expression change de signe.
Résous le problème dans chaque intervalle séparément.
Fais la réunion des résultats.

💡 À retenir : La disjonction de cas permet de simplifier des expressions complexes.

Comment montrer que A = B ?

Il faut montrer la double inclusion :

Montrer que $A \subset B$ .
Montrer que $B \subset A$ .

💡 À retenir : C'est la méthode standard et la plus rigoureuse pour l'égalité d'ensembles.

Il faut montrer la double inclusion :

Montrer que $A \subset B$.
Montrer que $B \subset A$.

💡 À retenir : C'est la méthode standard et la plus rigoureuse pour l'égalité d'ensembles.

Est-ce que le raisonnement par contre-exemple suffit pour montrer qu'une proposition est fausse ?

Oui, tout à fait. Si tu veux montrer que $\forall x \in E, P(x)$ est fausse, il suffit de trouver un seul $x_0 \in E$ tel que $P(x_0)$ soit fausse.

💡 À retenir : Un seul contre-exemple suffit pour invalider une proposition universelle.

Oui, tout à fait. Si tu veux montrer que $\forall x \in E, P(x)$ est fausse, il suffit de trouver un seul $x_0 \in E$ tel que $P(x_0)$ soit fausse.

💡 À retenir : Un seul contre-exemple suffit pour invalider une proposition universelle.

Wach l'implication P implies Q hiya bidha Q implies P ?

Non, ce n'est pas la même chose. $Q \implies P$ est la réciproque.

Une implication peut être vraie alors que sa réciproque est fausse.
Exemple : $x=2 \implies x^2=4$ est vraie, mais $x^2=4 \implies x=2$ est fausse (car $x$ peut être $-2$ ).

💡 À retenir : Ne confonds jamais implication et réciproque.

Non, ce n'est pas la même chose. $Q \implies P$ est la réciproque.

Une implication peut être vraie alors que sa réciproque est fausse.
Exemple : $x=2 \implies x^2=4$ est vraie, mais $x^2=4 \implies x=2$ est fausse (car $x$ peut être $-2$).

💡 À retenir : Ne confonds jamais implication et réciproque.

Comment prouver qu'une propriété est vraie pour tout n in mathbb{N} ?

Utilise le raisonnement par récurrence :

Initialisation : Vérifie pour $n=0$ (ou le premier rang).
Hérédité : Suppose $P(n)$ vraie, montre $P(n+1)$ .
Conclusion : La propriété est vraie pour tout $n$ .

💡 À retenir : La récurrence est indispensable pour les suites et les sommes.

Utilise le raisonnement par récurrence :

Initialisation : Vérifie pour $n=0$ (ou le premier rang).
Hérédité : Suppose $P(n)$ vraie, montre $P(n+1)$.
Conclusion : La propriété est vraie pour tout $n$.

💡 À retenir : La récurrence est indispensable pour les suites et les sommes.

✍️ Exercices type examen national

Exercice 1

Soient $A$ et $B$ deux parties d'un ensemble $E$ . Montrer que : $A \subset B \iff A \cup B = B$ .

Exercice 1

Soient $A$ et $B$ deux parties d'un ensemble $E$. Montrer que : $A \subset B \iff A \cup B = B$.

Voir la correction détaillée : inscription gratuite

Exercice 2

Montrer par récurrence que pour tout $n \in \mathbb{N}^*$ , $\sum_{k=1}^n k^2 = \frac{n(n+1)(2n+1)}{6}$ .

Exercice 2

Montrer par récurrence que pour tout $n \in \mathbb{N}^*$, $\sum_{k=1}^n k^2 = \frac{n(n+1)(2n+1)}{6}$.

Voir la correction détaillée : inscription gratuite

Exercice 3

Montrer par l'absurde que $\sqrt{2} \notin \mathbb{Q}$ .

Exercice 3

Montrer par l'absurde que $\sqrt{2} \notin \mathbb{Q}$.

Voir la correction détaillée : inscription gratuite

Un prof de Mathématiques pour aller plus loin

Les cours du soir avec des profs vérifiés arrivent : inscris-toi pour être prévenu(e) en premier.

Être prévenu(e) gratuitement

Autres chapitres de Mathématiques

Nombres réels et suites numériques Fonctions réelles d'une variable réelle : Limites, Continuité, Dérivabilité Développements limités Calcul intégral : Primitives et intégrales Équations différentielles Nombres complexes Espaces vectoriels et applications linéaires Matrices et systèmes linéaires Analyse combinatoire Probabilités Statistique descriptive