Najah.
Mon plan de révision⚡ Défi flash

Mathématiques · Prépa concours post-bac — ENA Architecture

Logique et raisonnements

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

  • Proposition : Une phrase mathématique qui est soit vraie, soit fausse.
  • Connecteurs logiques : $\neg$ (non), $\wedge$ (et), $\vee$ (ou), $\implies$ (implique), $\iff$ (équivaut).
  • Quantificateurs : $\forall$ (pour tout) et $\exists$ (il existe). La négation de $\forall x, P(x)$ est $\exists x, \neg P(x)$.
  • Raisonnement par récurrence : Pour démontrer $P(n)$ pour tout $n \geq n_0$ :
    1. Initialisation : Vérifier $P(n_0)$.
    2. Hérédité : Supposer $P(n)$ vraie, montrer $P(n+1)$ vraie.
  • Raisonnement par l'absurde : Supposer $\neg P$ et aboutir à une contradiction.

Méthodes à maîtriser

  • Négation : Apprendre à inverser les quantificateurs ($\forall \leftrightarrow \exists$) et les connecteurs ($\wedge \leftrightarrow \vee$).
  • Contraposée : Pour montrer $P \implies Q$, on montre $\neg Q \implies \neg P$.
  • Récurrence : Toujours bien rédiger l'hypothèse de récurrence.
  • Disjonction des cas : Utiliser quand une expression contient une valeur absolue ou une partie entière.

Exemples corrigés

  • Négation : La négation de $(\forall x \in \mathbb{R}, x^2 > 0)$ est $(\exists x \in \mathbb{R}, x^2 \leq 0)$.
  • Récurrence : Montrer que $\forall n \in \mathbb{N}^*, \sum_{k=1}^n k = \frac{n(n+1)}{2}$. Initialisation : Pour $n=1$, $1 = \frac{1(2)}{2} = 1$ (Vrai). Hérédité : Supposons $\sum_{k=1}^n k = \frac{n(n+1)}{2}$. Alors $\sum_{k=1}^{n+1} k = \frac{n(n+1)}{2} + (n+1) = (n+1)(\frac{n}{2} + 1) = \frac{(n+1)(n+2)}{2}$.

Erreurs fréquentes

  • Oublier de changer le quantificateur lors de la négation.
  • Dans la récurrence, oublier l'étape d'initialisation.
  • Confondre "implique" et "équivaut" dans les démonstrations.

🌉 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.

Défi flash : 4 questions

Sans compte

🎯 Logique et raisonnements

1/4

La négation de la proposition $(\forall x \in \mathbb{R}, x^2 \geq 0)$ est :

❓ Questions fréquentes

Est-ce que la contraposée est toujours utile ?

Non, elle est utile surtout quand la conclusion $Q$ est une négation (ex: $x \neq y$) ou une inégalité. Si $P \implies Q$ est difficile, $\neg Q \implies \neg P$ est souvent plus simple car on part d'une égalité ou d'une propriété plus forte.

💡 À retenir : Utilise la contraposée quand la négation de la conclusion te donne une information exploitable.

Kifach n3ref wach nkhdem b récurrence wla chi haja khra ?
  1. Ila chfti "pour tout $n \in \mathbb{N}$" f l'exercice.
  2. Ila kan l'exercice fih somme ($\sum$) aw produit ($\prod$) awla relation bin $u_{n+1}$ et $u_n$.

💡 À retenir : Récurrence = $n \in \mathbb{N}$ + formule qui dépend de $n$.

Chno hiya l'far9 bin "et" (wedge) et "ou" (vee) f l'logique ?
  1. "Et" ($\wedge$) : $P \wedge Q$ est vraie seulement si les deux sont vraies en même temps.
  2. "Ou" ($\vee$) : $P \vee Q$ est vraie si au moins l'une des deux est vraie (ou les deux).

💡 À retenir : "Et" est exigeant (tout doit être vrai), "Ou" est tolérant (un seul suffit).

Comment prouver une équivalence P iff Q ?

Il y a deux méthodes :

  1. Montrer $P \implies Q$ et $Q \implies P$ séparément.
  2. Faire une chaîne d'équivalences successives : $P \iff A \iff B \iff Q$.

💡 À retenir : La méthode 2 est plus élégante mais demande de bien vérifier que chaque étape est réversible.

Wach n9der nkhdem b l'absurde f ga3 les exercices ?

Oui, théoriquement c'est possible, mais ce n'est pas toujours le plus rapide. Le raisonnement par l'absurde est puissant quand tu n'as aucune idée de comment démarrer, mais il est parfois plus long que le raisonnement direct.

💡 À retenir : L'absurde est ton "plan B" quand les méthodes directes bloquent.

Comment nier une proposition avec "il existe" ?

La négation de $\exists x \in E, P(x)$ est $\forall x \in E, \neg P(x)$. Tu transformes "il existe" en "pour tout" et tu nies la propriété $P(x)$.

💡 À retenir : $\exists \to \forall$ et $\forall \to \exists$ lors de la négation.

Est-ce que P implies Q est la même chose que Q implies P ?

Non, absolument pas. $Q \implies P$ est la réciproque de $P \implies Q$. Elles n'ont pas la même valeur de vérité.

💡 À retenir : L'implication n'est pas commutative.

Kifach nkhdem b l'exemple contre-exemple ?

Pour montrer qu'une proposition $\forall x \in E, P(x)$ est fausse, il suffit de trouver un seul élément $a \in E$ tel que $P(a)$ soit fausse.

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

Pourquoi on fait l'initialisation dans la récurrence ?

Parce que sans elle, tu ne peux pas garantir que la propriété commence à être vraie. C'est comme le premier domino qui fait tomber les autres.

💡 À retenir : L'initialisation est obligatoire, sans elle la récurrence est nulle.

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

Oui, énormément ! $\forall x, \exists y, P(x,y)$ n'est pas du tout la même chose que $\exists y, \forall x, P(x,y)$. Le premier signifie que pour chaque $x$, il existe un $y$ (qui peut dépendre de $x$). Le second signifie qu'il existe un $y$ unique qui marche pour tous les $x$.

💡 À retenir : Ne jamais inverser l'ordre des quantificateurs.

Chno hiya "disjonction des cas" ?

C'est diviser le problème en plusieurs sous-parties pour couvrir toutes les possibilités. Par exemple, pour étudier $|x|$, on étudie le cas $x \geq 0$ et le cas $x < 0$.

💡 À retenir : Si tu ne peux pas résoudre un problème d'un coup, découpe-le.

Comment prouver que x^2 = 4 implies x = 2 est faux ?

Il suffit de donner un contre-exemple : si $x = -2$, alors $x^2 = 4$ mais $x \neq 2$. Donc l'implication est fausse.

💡 À retenir : Un contre-exemple est la preuve la plus rapide pour une fausse implication.

✍️ Exercices type examen national

Exercice 1

Soit $n \in \mathbb{N}$. Montrer par récurrence que $3^{2n} - 2^n$ est divisible par 7.

Voir la correction détaillée : inscription gratuite

Exercice 2

Montrer par l'absurde que $\sqrt{2}$ est irrationnel.

Voir la correction détaillée : inscription gratuite

Exercice 3

Montrer par contraposée que : $\forall (x,y) \in \mathbb{R}^2, x \neq y \implies (x+1)(y-1) \neq (x-1)(y+1)$.

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