La négation de $(\forall x \in \mathbb{R}, x^2 > 0)$ est :
❓ Questions fréquentes
Est-ce que P implies Q est la même chose que Q implies P ?
Non, ce n'est pas la même chose. $Q \implies P$ est appelée la "réciproque" de $P \implies Q$. Par exemple, si $x=2 \implies x^2=4$ est vraie, sa réciproque $x^2=4 \implies x=2$ est fausse car $x$ peut être $-2$.
💡 À retenir : L'implication n'est pas commutative.
Kifach n3ref imta nst3mel l'absurde ?
Kanst3mlo l'absurde ila kan l'énoncé fih chi haja s3iba n-montriwha direct, bhal "montrer que $\sqrt{2}$ est irrationnel" aw "montrer que $a \neq b$". Kanafardo l'3aks ($a=b$) o kanqelbo 3la تناقض (contradiction) m3a l'ma3tayat.
💡 À retenir : L'absurde est utile quand on veut prouver une négation ou une inégalité stricte.
Comment nier : forall x in mathbb{R}, x^2 geq 0 ?
La négation est : $\exists x \in \mathbb{R}, x^2 < 0$. On change le quantificateur $\forall$ en $\exists$ et on change l'inégalité $\geq$ en son contraire strict $<$.
💡 À retenir : La négation de $\geq$ est $<$, et celle de $>$ est $\leq$.
Chno hiya l'farq bin forall o exists ?
$\forall$ (pour tout) katchmel ga3 les éléments d'un ensemble. $\exists$ (il existe) katchmel ghir wahed 3la l'aqal.
💡 À retenir : $\forall$ est exigeant (doit être vrai pour tout le monde), $\exists$ est plus souple (suffit d'un seul).
Est-ce que la contraposée est toujours vraie ?
Oui, une implication $P \implies Q$ est logiquement équivalente à sa contraposée $(\text{non } Q) \implies (\text{non } P)$. Si l'une est vraie, l'autre l'est obligatoirement.
💡 À retenir : La contraposée est un outil puissant pour transformer une implication difficile en une plus simple.
Kifach n-montri bli chi assertion khata ?
Bach t-montri bli chi assertion khata, khassk t-lqa "contre-exemple" (مثال مضاد). Ila lqiti ghir wahed l'élément li makay7qeqch l'assertion, rah l'assertion kamla khata.
💡 À retenir : Un seul contre-exemple suffit pour invalider une proposition universelle.
Peut-on utiliser la récurrence pour tout type d'exercice ?
Non, la récurrence est réservée aux propriétés qui dépendent d'un entier naturel $n$ (souvent $n \in \mathbb{N}$ ou $n \geq n_0$).
💡 À retenir : Récurrence = Propriété sur $n$.
Est-ce que P iff Q signifie que P et Q sont vraies en même temps ?
Pas forcément. $P \iff Q$ signifie qu'elles ont la même valeur de vérité. Elles peuvent être toutes les deux vraies, OU toutes les deux fausses.
💡 À retenir : L'équivalence signifie "même sort".
Chno hiya l'hédité f-récurrence ?
L'hérédité, hiya fach kanfardo bli $P(n)$ s7i7a, o khassna n-montriw bli $P(n+1)$ s7i7a taba3an liha. Hya l'étape li kat-khli l'khassiya t-dwez l-ga3 les nombres.
💡 À retenir : L'hérédité est le passage de $n$ à $n+1$.
Pourquoi la négation de "et" est "ou" ?
C'est une règle de la logique (Lois de De Morgan). Si tu dis "Il pleut ET il fait froid", pour que ce soit faux, il suffit qu'il ne pleuve PAS OU qu'il ne fasse PAS froid.
Est-ce que l'ordre des quantificateurs est important ?
Oui, énormément. $\forall x, \exists y$ n'est pas la même chose que $\exists y, \forall x$. Le premier veut dire que pour chaque $x$ il existe un $y$ (qui peut dépendre de $x$), le second veut dire qu'il existe un $y$ fixe qui marche pour tous les $x$.
💡 À retenir : Ne jamais inverser l'ordre des quantificateurs.
Comment prouver une équivalence P iff Q ?
Tu as deux méthodes : soit tu fais une double implication ($P \implies Q$ et $Q \implies P$), soit tu enchaînes des équivalences successives en partant de $P$ pour arriver à $Q$.
💡 À retenir : La double implication est la méthode la plus sûre.
✍️ Exercices type examen national
Exercice 1
Montrer par contraposée que : $\forall x \in \mathbb{R}, x \neq 1 \implies \frac{2x+1}{x-1} \neq 2$.
Absurde : Supposer le contraire et chercher une contradiction.
Méthodes à maîtriser
Nier une proposition : ∀ devient ∃, ∃ devient ∀, ∧ devient ∨, ⟹ devient ∧ avec négation.
Utiliser le contre-exemple pour montrer qu'une proposition est fausse.
Rédiger une récurrence proprement (vérifier n0, supposer P(n), montrer P(n+1)).
Exemples corrigés
Négation : La négation de (∀x∈R,x2>0) est (∃x∈R,x2≤0).
Récurrence : Montrer que 1+2+...+n=2n(n+1).
Initialisation : n=1, 1=21(2) (Vrai).
Hérédité : Supposons Sn=2n(n+1). Alors Sn+1=Sn+(n+1)=2n(n+1)+(n+1)=2(n+1)(n+2).
Erreurs fréquentes
Oublier de changer le sens de l'inégalité lors de la négation.
Dans la récurrence, oublier de préciser l'hypothèse de récurrence.
Confondre "il existe" et "il existe un unique".
La négation de (∀x∈R,x2>0) est :
∀x∈R,x2≤0
∃x∈R,x2≤0
∃x∈R,x2<0
∀x∈R,x2<0
Non, ce n'est pas la même chose. Q⟹P est appelée la "réciproque" de P⟹Q. Par exemple, si x=2⟹x2=4 est vraie, sa réciproque x2=4⟹x=2 est fausse car x peut être −2.
💡 À retenir : L'implication n'est pas commutative.
Kanst3mlo l'absurde ila kan l'énoncé fih chi haja s3iba n-montriwha direct, bhal "montrer que 2 est irrationnel" aw "montrer que a=b". Kanafardo l'3aks (a=b) o kanqelbo 3la تناقض (contradiction) m3a l'ma3tayat.
💡 À retenir : L'absurde est utile quand on veut prouver une négation ou une inégalité stricte.
La négation est : ∃x∈R,x2<0. On change le quantificateur ∀ en ∃ et on change l'inégalité ≥ en son contraire strict <.
💡 À retenir : La négation de ≥ est <, et celle de > est ≤.
∀ (pour tout) katchmel ga3 les éléments d'un ensemble. ∃ (il existe) katchmel ghir wahed 3la l'aqal.
💡 À retenir : ∀ est exigeant (doit être vrai pour tout le monde), ∃ est plus souple (suffit d'un seul).
Oui, une implication P⟹Q est logiquement équivalente à sa contraposée (non Q)⟹(non P). Si l'une est vraie, l'autre l'est obligatoirement.
💡 À retenir : La contraposée est un outil puissant pour transformer une implication difficile en une plus simple.
Non, la récurrence est réservée aux propriétés qui dépendent d'un entier naturel n (souvent n∈N ou n≥n0).
💡 À retenir : Récurrence = Propriété sur n.
Pas forcément. P⟺Q signifie qu'elles ont la même valeur de vérité. Elles peuvent être toutes les deux vraies, OU toutes les deux fausses.
💡 À retenir : L'équivalence signifie "même sort".
L'hérédité, hiya fach kanfardo bli P(n) s7i7a, o khassna n-montriw bli P(n+1) s7i7a taba3an liha. Hya l'étape li kat-khli l'khassiya t-dwez l-ga3 les nombres.
💡 À retenir : L'hérédité est le passage de n à n+1.
C'est une règle de la logique (Lois de De Morgan). Si tu dis "Il pleut ET il fait froid", pour que ce soit faux, il suffit qu'il ne pleuve PAS OU qu'il ne fasse PAS froid.
💡 À retenir : non(P∧Q)⟺(non P)∨(non Q).
Oui, énormément. ∀x,∃y n'est pas la même chose que ∃y,∀x. Le premier veut dire que pour chaque x il existe un y (qui peut dépendre de x), le second veut dire qu'il existe un y fixe qui marche pour tous les x.
💡 À retenir : Ne jamais inverser l'ordre des quantificateurs.
Tu as deux méthodes : soit tu fais une double implication (P⟹Q et Q⟹P), soit tu enchaînes des équivalences successives en partant de P pour arriver à Q.
💡 À retenir : La double implication est la méthode la plus sûre.
Exercice 1
Montrer par contraposée que : ∀x∈R,x=1⟹x−12x+1=2.
Exercice 2
Montrer que 2+3 est irrationnel.
Exercice 3
Montrer par récurrence que pour tout n∈N∗, on a : ∑k=1nk2=6n(n+1)(2n+1).