Logique et raisonnement · Prépa concours post-bac — ENA Architecture

Quantificateurs et raisonnements mathématiques

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

Quantificateurs :
- $\forall x \in E, P(x)$ : Vrai si $P(x)$ est vraie pour tout élément de $E$ .
- $\exists x \in E, P(x)$ : Vrai s'il existe au moins un élément de $E$ vérifiant $P(x)$ .
Négation :
- $\text{non}(\forall x, P(x)) \iff \exists x, \text{non}(P(x))$
- $\text{non}(\exists x, P(x)) \iff \forall x, \text{non}(P(x))$
Raisonnement par l'absurde : Pour montrer $P$ , on suppose $\text{non}(P)$ et on cherche une contradiction.
Raisonnement par contraposée : $P \implies Q$ est équivalent à $\text{non}(Q) \implies \text{non}(P)$ .

Méthodes à maîtriser

Pour prouver une existence : Trouver un exemple concret.
Pour prouver une universalité : Utiliser un raisonnement général (direct ou récurrence).
Pour infirmer une assertion : Trouver un contre-exemple.

Exemples corrigés

Exemple 1 : Montrer que $\forall x \in \mathbb{R}, x^2 \geq 0$ . C'est une propriété fondamentale de l'ordre dans $\mathbb{R}$ .
Exemple 2 : Nier $\exists x \in \mathbb{R}, x^2 = -1$ . La négation est $\forall x \in \mathbb{R}, x^2 \neq -1$ , ce qui est vrai.

Erreurs fréquentes

Confondre $\forall$ et $\exists$ lors de la négation.
Oublier de vérifier l'initialisation dans un raisonnement par récurrence.
Penser que $P \implies Q$ est équivalent à $Q \implies P$ .

L'essentiel du cours

Quantificateurs :
- $\forall x \in E, P(x)$ : Vrai si $P(x)$ est vraie pour tout élément de $E$.
- $\exists x \in E, P(x)$ : Vrai s'il existe au moins un élément de $E$ vérifiant $P(x)$.
Négation :
- $\text{non}(\forall x, P(x)) \iff \exists x, \text{non}(P(x))$
- $\text{non}(\exists x, P(x)) \iff \forall x, \text{non}(P(x))$
Raisonnement par l'absurde : Pour montrer $P$, on suppose $\text{non}(P)$ et on cherche une contradiction.
Raisonnement par contraposée : $P \implies Q$ est équivalent à $\text{non}(Q) \implies \text{non}(P)$.

Méthodes à maîtriser

Pour prouver une existence : Trouver un exemple concret.
Pour prouver une universalité : Utiliser un raisonnement général (direct ou récurrence).
Pour infirmer une assertion : Trouver un contre-exemple.

Exemples corrigés

Exemple 1 : Montrer que $\forall x \in \mathbb{R}, x^2 \geq 0$. C'est une propriété fondamentale de l'ordre dans $\mathbb{R}$.
Exemple 2 : Nier $\exists x \in \mathbb{R}, x^2 = -1$. La négation est $\forall x \in \mathbb{R}, x^2 \neq -1$, ce qui est vrai.

Erreurs fréquentes

Confondre $\forall$ et $\exists$ lors de la négation.
Oublier de vérifier l'initialisation dans un raisonnement par récurrence.
Penser que $P \implies Q$ est équivalent à $Q \implies P$.

🌉 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

🎯 Quantificateurs et raisonnements mathématiques

1/4

Quelle est la négation de $\forall x \in \mathbb{R}, x^2 > 0$ ?

❓ Questions fréquentes

Comment prouver qu'une assertion est fausse ?

Il suffit de trouver un seul contre-exemple. Si tu veux prouver que "Tous les nombres premiers sont impairs", il suffit de citer le nombre 2.

💡 À retenir : Un seul contre-exemple suffit à détruire une proposition universelle.

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

Oui, énormément. $\forall x, \exists y, P(x,y)$ signifie que pour chaque $x$ , on peut trouver un $y$ (qui peut dépendre de $x$ ). Par contre, $\exists y, \forall x, P(x,y)$ signifie qu'il existe un $y$ unique qui marche pour tous les $x$ en même temps. C'est beaucoup plus fort.

💡 À retenir : L'ordre change totalement le sens de la proposition.

Oui, énormément. $\forall x, \exists y, P(x,y)$ signifie que pour chaque $x$, on peut trouver un $y$ (qui peut dépendre de $x$). Par contre, $\exists y, \forall x, P(x,y)$ signifie qu'il existe un $y$ unique qui marche pour tous les $x$ en même temps. C'est beaucoup plus fort.

💡 À retenir : L'ordre change totalement le sens de la proposition.

Kifach n3ref wach nst3mel l'absurde wla l'contraposée ?

Si tu vois une égalité ou une inégalité à démontrer, essaie d'abord le direct.
Si tu as une implication $P \implies Q$ et que $Q$ est facile à nier (ex: $Q$ est une égalité), utilise la contraposée.
Si tu n'as aucune piste ou que tu veux montrer qu'un objet n'existe pas, l'absurde est ton meilleur allié.

💡 À retenir : L'absurde est un outil puissant quand on est bloqué.

Si tu vois une égalité ou une inégalité à démontrer, essaie d'abord le direct.
Si tu as une implication $P \implies Q$ et que $Q$ est facile à nier (ex: $Q$ est une égalité), utilise la contraposée.
Si tu n'as aucune piste ou que tu veux montrer qu'un objet n'existe pas, l'absurde est ton meilleur allié.

💡 À retenir : L'absurde est un outil puissant quand on est bloqué.

Chno hiya l'far9 bin "condition nécessaire" et "condition suffisante" ?

$P$ est une condition suffisante pour $Q$ signifie $P \implies Q$ . Si $P$ est vrai, $Q$ est forcément vrai.
$P$ est une condition nécessaire pour $Q$ signifie $Q \implies P$ . Si $P$ est faux, $Q$ ne peut pas être vrai.

💡 À retenir : Suffisante = "il suffit que", Nécessaire = "il faut que".

$P$ est une condition suffisante pour $Q$ signifie $P \implies Q$. Si $P$ est vrai, $Q$ est forcément vrai.
$P$ est une condition nécessaire pour $Q$ signifie $Q \implies P$. Si $P$ est faux, $Q$ ne peut pas être vrai.

💡 À retenir : Suffisante = "il suffit que", Nécessaire = "il faut que".

Est-ce que le raisonnement par récurrence marche pour tous les ensembles ?

Non, le raisonnement par récurrence est spécifique aux entiers naturels $\mathbb{N}$ (ou des sous-ensembles de $\mathbb{Z}$ bornés inférieurement). On ne peut pas l'utiliser directement sur $\mathbb{R}$ .

💡 À retenir : Récurrence = $\mathbb{N}$ uniquement.

Chno hiya l'mouhim f l'examen national f had l'chapitre ?

Le plus important est de savoir nier correctement des propositions complexes avec plusieurs quantificateurs et de maîtriser la rédaction du raisonnement par l'absurde, car c'est souvent demandé pour les questions d'arithmétique ou d'analyse.

💡 À retenir : La rigueur de rédaction est aussi importante que le résultat.

Est-ce que je dois toujours écrire "soit x..." ?

Oui, pour introduire une variable dans une preuve universelle, c'est indispensable. Cela montre que ton raisonnement est général et ne dépend pas d'un cas particulier.

💡 À retenir : "Soit" est le mot clé pour fixer un élément quelconque.

Kifach nbiyen bli wa7d l'assertion s7i7a b l'absurde ?

Tu écris : "Supposons par l'absurde que [Négation de l'assertion] est vraie".
Tu fais tes calculs logiques.
Tu arrives à une contradiction (ex: $1=0$ ou $x^2 < 0$ ).
Tu conclus : "Donc l'assertion initiale est vraie".

💡 À retenir : La contradiction est la preuve que l'hypothèse de départ était fausse.

Tu écris : "Supposons par l'absurde que [Négation de l'assertion] est vraie".
Tu fais tes calculs logiques.
Tu arrives à une contradiction (ex: $1=0$ ou $x^2 < 0$).
Tu conclus : "Donc l'assertion initiale est vraie".

💡 À retenir : La contradiction est la preuve que l'hypothèse de départ était fausse.

Est-ce que l'équivalence P iff Q est la même chose que P implies Q et Q implies P ?

Exactement. Pour montrer une équivalence, on montre souvent les deux implications séparément. C'est une méthode très classique.

💡 À retenir : Équivalence = double implication.

Est-ce que je peux utiliser des symboles comme implies dans ma rédaction ?

Oui, mais avec modération. Il vaut mieux écrire des phrases complètes pour expliquer ton raisonnement. Les symboles sont des outils, pas des remplaçants du français.

💡 À retenir : La clarté prime sur la notation.

Est-ce que la contraposée est toujours plus simple ?

Pas forcément. Parfois, la contraposée est plus compliquée que l'implication directe. Il faut tester les deux mentalement avant de rédiger.

💡 À retenir : Choisis le chemin le plus court.

Pourquoi on dit que forall x, P(x) est faux si exists x, text{non}(P(x)) est vrai ?

Parce que pour qu'une règle soit vraie pour tout le monde, il ne faut pas une seule exception. Si tu trouves une seule exception, la règle tombe.

💡 À retenir : Une exception suffit à invalider une règle universelle.

✍️ Exercices type examen national

Exercice 1

Montrer par l'absurde que pour tout $x \in \mathbb{R}^+$ , si $x + \frac{1}{x} < 2$ , alors c'est impossible.

Exercice 1

Montrer par l'absurde que pour tout $x \in \mathbb{R}^+$, si $x + \frac{1}{x} < 2$, alors c'est impossible.

Voir la correction détaillée : inscription gratuite

Exercice 2

Montrer par contraposée que si $n^2$ est pair, alors $n$ est pair (pour $n \in \mathbb{N}$ ).

Exercice 2

Montrer par contraposée que si $n^2$ est pair, alors $n$ est pair (pour $n \in \mathbb{N}$).

Voir la correction détaillée : inscription gratuite

Exercice 3

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

Exercice 3

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

Voir la correction détaillée : inscription gratuite

Un prof de Logique et raisonnement 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 Logique et raisonnement

Logique élémentaire et connecteurs logiques Ensembles et opérations sur les ensembles Applications et fonctions Relations d'équivalence et relations d'ordre Analyse combinatoire et dénombrement Probabilités discrètes Suites numériques et récurrence Géométrie analytique et vecteurs dans le plan et l'espace Transformations géométriques et symétries Visualisation spatiale et projections Tests d'aptitude logique et suites graphiques