Exercices supplémentaires

Ces exercices restent dans les objectifs de la séance (donc examinables) : à faire une fois le socle et le transfert bouclés, en séance ou à la maison.

✎ Exercice R.1 #Renforcement · O1 · ★★☆

On pose $\alpha$ : « le patient est malade » et $\beta$ : « le test est positif ». Traduire :

« Le patient est malade mais son test est négatif. »
« Si le test est positif alors le patient est malade. »
$\lnot(\alpha \lor \beta)$ en français.
« Le patient est malade ou son test est négatif. »

Retourne à la théorie du cours : Comment combiner des propositions ? Connecteurs logiques.

Question à te poser.

Quel connecteur porte la phrase (et / ou / si…alors / non) ? Attention au sens de l’implication : qui implique qui ?

$\alpha \land \lnot\beta$ .
$\beta \Rightarrow \alpha$ (c’est le test qui implique la maladie).
« Le patient n’est ni malade ni positif », soit $\lnot\alpha \land \lnot\beta$ .
$\alpha \lor \lnot\beta$ .

Traduire « mais » autrement que par $\land$ ; inverser le sens de l’implication en (b).

✎ Exercice R.2 #Renforcement · O2 · ★★☆

Soient $A = \{a,b,c\}$ et $B = \{c,d\}$ .

Donner $A\cup B$ , $A\cap B$ , $A\setminus B$ , $B\setminus A$ .
Donner $A\times B$ .
Vrai ou faux : $a\in A$ ; $\{a\}\in A$ ; $\{a\}\subseteq A$ ; $\varnothing\subseteq A$ ; $c\in A\cap B$ .
Placer : $-7$ , $\tfrac14$ , $\sqrt2$ parmi les ensembles $\mathbb{Z}\setminus\mathbb{N}$ , $\mathbb{Q}\setminus\mathbb{Z}$ , $\mathbb{R}\setminus\mathbb{Q}$ .

Retourne à la théorie du cours : Ensembles : regrouper des objets, Ensembles de nombres et Opérations sur les ensembles.

Question à te poser.

Pour (c) : $\{a\}$ est-il un élément de $A$ , ou un sous-ensemble de $A$ ? Pour (d) : qui est entier non naturel ? qui est rationnel non entier ? qui est irrationnel ?

$A\cup B=\{a,b,c,d\}$ ; $A\cap B=\{c\}$ ; $A\setminus B=\{a,b\}$ ; $B\setminus A=\{d\}$ .
$A\times B=\{(a,c),(a,d),(b,c),(b,d),(c,c),(c,d)\}$ .
- $a\in A$ est vraie. En effet, l’élément $a$ est dans l’ensemble $A=\{a,b,c,d\}$ .
- $\{a\}\in A$ est fausse. En effet, $\{a\}$ désigne un ensemble dont l’unique élément est $a$ . Cet ensemble n’est pas un élément de l’ensemble $A=\{a,b,c,d\}$ .
- $\{a\}\subseteq A$ est vraie. En effet, $\{a\}\subseteq A$ signifie $\forall x\big(x\in\{a\}\Rightarrow x\in A\big)$ . Cette phrase est vraie car le seul élément de l’ensemble $\{a\}$ est l’élément $a$ , qui est bien un élément de l’ensemble $A$ .
- $\varnothing\subseteq A$ est vraie. En effet, $\varnothing\subseteq A$ signifie $\forall x\big(x\in\varnothing\Rightarrow x\in A\big)$ . Cette phrase est vraie car il n’y a aucun élément dans $\varnothing$ : la prémisse de l’implication étant fausse, l’implication est vraie.
- $c\in A\cap B$ est vraie. En effet, l’élément $c$ est un élément commun aux ensemble $A$ et $B$ : $c$ est donc dans l’intersection $A\cap B$ .
$-7\in\mathbb{Z}\setminus\mathbb{N}$ ; $\tfrac14\in\mathbb{Q}\setminus\mathbb{Z}$ ; $\sqrt2\in\mathbb{R}\setminus\mathbb{Q}$ .

Confondre $\in$ et $\subseteq$ : écrire $\{a\}\in A$ (faux) au lieu de $\{a\}\subseteq A$ (vrai).

✎ Exercice R.3 #Renforcement · O2 · ★★☆

Voici la table de vérité de deux propositions $a$ et $b$ et d’une proposition cachée « ? ». Parmi les propositions proposées, laquelle a correspond à cette colonne ?

$a$	$b$	?
V	V	V
V	F	V
F	V	F
F	F	V

Choix : (A) $a \Rightarrow b$ ; (B) $b \Rightarrow a$ ; (C) $a \land b$ ; (D) $a \lor b$ .

Retourne à la théorie du cours : Comprendre l’implication.

Question à te poser.

Repère l’unique ligne où « ? » vaut F. Sur cette ligne, quelle proposition atomique est vraie (la prémisse) et laquelle est fausse (la conclusion) ?

« ? » vaut F seulement à la ligne $a=F,\ b=V$ . Une implication est fausse quand sa prémisse est vraie et sa conclusion fausse : ici la prémisse est $b$ (V), la conclusion $a$ (F). Donc « ? » $=\,b\Rightarrow a$ — réponse (B).

Choisir $a\Rightarrow b$ (la réciproque) : la direction est inversée. Vérifie toujours sur quelle ligne l’implication doit être fausse.

✎ Exercice R.4 #Renforcement · O1 · ★★☆

On pose $\alpha$ : « l’animal est un mammifère » et $\beta$ : « l’animal allaite ses petits ». Traduire :

« L’animal est un mammifère mais il n’allaite pas. »
« Si l’animal est un mammifère alors il allaite. »
$\lnot(\alpha\land\beta)$ en français.
« L’animal n’est pas un mammifère ou il allaite. »

« mais » se traduit comme « et » ( $\land$ ) ; attention au sens de $\Rightarrow$ (qui implique qui ?). Pour (c), appliquer De Morgan : $\lnot(\alpha\land \beta)\Leftrightarrow\lnot \alpha\lor\lnot \beta$ .

$\alpha\land\lnot\beta$ .
$\alpha\Rightarrow\beta$ .
« L’animal n’est pas un mammifère ou il n’allaite pas » $=\lnot\alpha\lor\lnot\beta$ .
$\lnot\alpha\lor\beta$ — qui est justement une écriture de $\alpha\Rightarrow\beta$ .

✎ Exercice R.5 #Renforcement · O2 · ★☆☆

Construire la table de vérité de $\lnot\alpha$ , $\lnot\beta$ , $\alpha\lor\beta$ , puis vérifier que $\lnot(\alpha\lor\beta)\ \Leftrightarrow\ \lnot\alpha\land\lnot\beta.$

Dans ton tableau, il y a 5 lignes. La proposition $\alpha\lor\beta$ n’est fausse que lorsque $\alpha$ et $\beta$ sont fausses, donc $\lnot(\alpha\lor\beta)$ n’est vraie que sur cette ligne.

$\alpha$	$\beta$	$\alpha\lor\beta$	$\lnot(\alpha\lor\beta)$	$\lnot\alpha\land\lnot\beta$
V	V	V	F	F
V	F	V	F	F
F	V	V	F	F
F	F	F	V	V

Les deux dernières colonnes coïncident : $\lnot(\alpha\lor\beta)\Leftrightarrow\lnot\alpha\land\lnot\beta$ . Autrement dit : nier « $\alpha$ ou $\beta$ », c’est n’avoir « ni l’un ni l’autre ».

✎ Exercice R.6 #Renforcement · O2 · ★★☆

Soit $\alpha$ l’implication : « si $n$ est multiple de $6$ , alors $n$ est multiple de $3$ ».

Écrire la réciproque et la contraposée de $\alpha$ .
Dire lesquelles des trois sont vraies, par un contre-exemple si nécessaire.

Réciproque = on échange ; contraposée = on nie chaque proposition puis on les échange. Pour tester la réciproque, cherche un multiple de $3$ qui n’est pas multiple de $6$ .

Implication : vraie (tout multiple de $6$ est multiple de $3$ ).

Réciproque : « si $n$ multiple de $3$ alors $n$ multiple de $6$ » : fausse ( $n=3$ ).

Contraposée : « si $n$ n’est pas multiple de $3$ alors $n$ n’est pas multiple de $6$ » : vraie car équivalente à $\alpha$ .

✎ Exercice R.7 #Renforcement · O2 · ★★☆

Soient $A=\{1,2,3\}$ et $B=\{3,4\}$ .

Donner $A\cup B$ , $A\cap B$ , $A\setminus B$ , $B\setminus A$ .
Vrai ou faux : $2\in A$ ; $\{2\}\in A$ ; $\{2,3\}\subseteq A$ ; $\varnothing\in A$ ; $3\in A\cap B$ .

Distingue élément ( $\in$ ) et sous-ensemble ( $\subseteq$ ). Piège : $\varnothing\subseteq A$ est toujours vrai — mais $\varnothing\in A$ demande que $\varnothing$ soit listé parmi les éléments de $A$ .

$A\cup B=\{1,2,3,4\}$ ; $A\cap B=\{3\}$ ; $A\setminus B=\{1,2\}$ ; $B\setminus A=\{4\}$ .
- $2\in A$ est vraie ;
- $\{2\}\in A$ est fausse ( $\{2\}$ est un sous-ensemble, pas un élément) ;
- $\{2,3\}\subseteq A$ est vraie ;
- $\varnothing\in A$ est fausse ( $A$ ne contient pas $\varnothing$ comme élément) ; - $3\in A\cap B$ est vraie.

✎ Exercice R.8 #Renforcement · O2 · ★★☆

Pour chaque proposition : dire si elle est vraie ou fausse, écrire sa négation, puis l’évaluer.

$\forall\, n\in\mathbb{N},\ n+1 > n$ .
$\exists\, x\in\mathbb{R},\ x^2 = 2$ .
$\forall\, x\in\mathbb{R},\ x^2 \ne x$ .

Nier : échanger $\forall\,$ et $\exists\,$ , puis nier l’intérieur. Négation de « $>$ » : « $\le$ » ; de « $=$ » : « $\ne$ » ; de « $\ne$ » : « $=$ ». Un seul contre-exemple réfute un $\forall\,$ .

Vraie. Négation : $\exists\, n\in\mathbb{N},\ n+1\le n$ — fausse.
Vraie ( $x=\sqrt2$ ). Négation : $\forall\, x\in\mathbb{R},\ x^2\ne 2$ — fausse.
Fausse ( $x=0$ donne $0^2=0$ , et $x=1$ aussi). Négation : $\exists\, x\in\mathbb{R},\ x^2=x$ — vraie ( $x=0$ ou $x=1$ ).

✎ Exercice R.9 #Renforcement · O2 · ★★☆

Voici la table de vérité de $a$ , $b$ et d’une proposition cachée « ? ». Parmi les choix, laquelle a exactement cette colonne ?

$a$	$b$	?
V	V	V
V	F	F
F	V	V
F	F	V

Choix : (A) $a\Rightarrow b$ ; (B) $b\Rightarrow a$ ; (C) $a\lor b$ ; (D) $a\land b$ .

Repère l’unique ligne où « ? » vaut F. Sur cette ligne, quelle proposition est vraie (la prémisse) et laquelle est fausse (la conclusion) ?

« ? » vaut F seulement à la ligne $a=V,\ b=F$ : prémisse $a$ (V), conclusion $b$ (F). C’est donc $a\Rightarrow b$ — réponse (A). (Cette fois la direction est $a\Rightarrow b$ , l’inverse de l’exercice S.7 du socle : c’est toujours la ligne fausse qui tranche.)

✎ Exercice R.10 #Renforcement · O2 · ★★☆

On veut relier l’implication aux connecteurs $\lnot$ , $\lor$ , $\land$ .

Dresser la table de vérité de $\alpha\Rightarrow\beta$ et celle de $\lnot\alpha\lor\beta$ , et constater qu’elles coïncident.
En déduire une écriture de $\lnot(\alpha\Rightarrow\beta)$ sans le symbole $\Rightarrow$ .

La table aura 5 lignes et une colonne par proposition. Pour (b), nie $\lnot\alpha\lor\beta$ et applique De Morgan : $\lnot(\alpha\lor \beta)\Leftrightarrow\lnot \alpha\land\lnot \beta$ .

Les deux colonnes valent F uniquement sur la ligne $\alpha=V,\ \beta=F$ , et V sur les trois autres : elles sont identiques, donc $\alpha\Rightarrow\beta\Leftrightarrow\lnot\alpha\lor\beta$ .
$\lnot(\alpha\Rightarrow\beta)\Leftrightarrow\lnot(\lnot\alpha\lor\beta)\Leftrightarrow\alpha\land\lnot\beta$ : « nier une implication », c’est affirmer l’hypothèse et nier la conclusion.

✎ Exercice R.11 #Renforcement · O2 · ★★☆

Pour chaque proposition, dire si c’est une tautologie (vraie quelles que soient les valeurs), une contradiction (jamais vraie), ou une contingence (ni l’une ni l’autre).

$\alpha\lor\lnot\alpha$
$\alpha\land\lnot\alpha$
$(\alpha\Rightarrow\beta)\Rightarrow(\lnot\beta\Rightarrow\lnot\alpha)$
$(\alpha\lor\beta)\Rightarrow\alpha$

Une table de vérité tranche à coup sûr : tautologie = colonne finale tout V, contradiction = tout F. Pour (b), regarde ce que $\lnot\beta\Rightarrow\lnot\alpha$ représente par rapport à $\alpha\Rightarrow\beta$ .

Tautologie.
Contradiction.
Tautologie : $\lnot\beta\Rightarrow\lnot\alpha$ est la contraposée de $\alpha\Rightarrow\beta$ , donc les deux membres sont équivalents et l’implication est toujours vraie.
Contingence : fausse pour $\alpha=F,\ \beta=V$ (l’hypothèse est vraie, la conclusion fausse), vraie ailleurs.

✎ Exercice R.12 #Renforcement · O2 · ★★★

On travaille dans $\mathbb{R}$ . $(\star)\qquad \forall\, x,\ \exists\, y,\ x+y=0.$

$(\star)$ est-elle vraie ? Justifier.
Écrire $\exists\, y,\ \forall\, x,\ x+y=0$ et dire si elle est vraie.
Écrire la négation de $(\star)$ .

Traduis $(\star)$ en français pour juger de sa vérité.

Dans (b), un même $y$ doit convenir pour tous les $x$ .

Pour la négation, n’oublie pas de nier l’égalité.

Vraie : pour $x$ donné, prends $y=-x$ ; alors $x+y=0$ . Cette proposition dit que tout nombre réel a un opposé.
« Il existe un réel $y$ tel que, pour tout $x$ , $x+y=0$ . » Fausse : un $y$ fixé ne peut annuler $x+y$ que pour le seul $x=-y$ , pas pour tous.
$\lnot(\star)\Leftrightarrow\exists\, x,\ \forall\, y,\ x+y\neq 0$ (« il existe un $x$ que aucun $y$ n’annule »).

✎ Exercice R.13 #Renforcement · O2 · ★★★

Soient $A$ , $B$ , $C$ des ensembles.

Démontrer $A\cap(B\cup C)=(A\cap B)\cup(A\cap C)$ .
L’égalité $A\setminus(B\cap C)=(A\setminus B)\cap(A\setminus C)$ est-elle vraie ? Sinon, donner un contre-exemple et écrire l’identité correcte.

Montre $x\in$ membre de gauche $\Leftrightarrow x\in$ membre de droite, en traduisant $\cap$ par « et », $\cup$ par « ou ».
Teste sur de petits ensembles.

$x\in A\cap(B\cup C)\ \Leftrightarrow\ x\in A\ \text{et}\ (x\in B\ \text{ou}\ x\in C)\ \Leftrightarrow\ (x\in A\ \text{et}\ x\in B)\ \text{ou}\ (x\in A\ \text{et}\ x\in C)\ \Leftrightarrow\ x\in(A\cap B)\cup(A\cap C)$ (distributivité du « et » sur le « ou »).
Fausse. Contre-exemple : $A=\{1,2\}$ , $B=\{1\}$ , $C=\{2\}$ . Alors $B\cap C=\varnothing$ , donc $A\setminus(B\cap C)=A=\{1,2\}$ ; tandis que $A\setminus B=\{2\}$ , $A\setminus C=\{1\}$ , dont l’intersection est $\varnothing$ . L’identité correcte est $A\setminus(B\cap C)=(A\setminus B)\cup (A\setminus C)$ .

✎ Exercice R.14 #Renforcement · O2 · ★★☆

À l’aide de tables de vérités, dire si les équivalences sont vraies (les deux membres de l’équivalence ont la même colonne dans la table de vérité) ou fausse (une des lignes de la table de vérité distingue les deux membres).

$(\alpha\Rightarrow\beta)\ \Leftrightarrow\ (\lnot\beta\Rightarrow\lnot\alpha)$
$(\alpha\Rightarrow\beta)\ \Leftrightarrow\ (\beta\Rightarrow\alpha)$

Retourne à la théorie du cours : Réciproque, contraposée, équivalence et Outil : table de vérité.

Question à te poser.

Les deux membres de l’équivalence ont-elles la même colonne finale?

(a) Vraie : c’est le lien implication / contraposée.

$\alpha$	$\beta$	$\lnot\alpha$	$\lnot\beta$	$\alpha\Rightarrow\beta$	$\lnot\beta\Rightarrow\lnot\alpha$
V	V	F	F	V	V
V	F	F	V	F	F
F	V	V	F	V	V
F	F	V	V	V	V

Les deux dernières colonnes sont identiques ligne à ligne : l’équivalence est vraie.

(b) Fausse : à la ligne $\alpha=V,\ \beta=F$ , $\alpha\Rightarrow\beta$ vaut F tandis que $\beta\Rightarrow\alpha$ vaut V — c’est la réciproque, pas équivalente.

$\alpha$	$\beta$	$\alpha\Rightarrow\beta$	$\beta\Rightarrow\alpha$
V	V	V	V
V	F	F	V
F	V	V	F
F	F	V	V

Aux lignes 2 et 3, les colonnes diffèrent : l’équivalence est fausse.

Prendre une coïncidence sur une ligne pour une équivalence (il faut toutes les lignes) ; oublier qu’une seule ligne de différence réfute.

✎ Exercice R.15 #Renforcement · O1 · ★★☆

On se place dans un ensemble de référence $E$ . Pour chaque relation entre ensembles, écrire l’énoncé logique équivalent (avec $\forall\,$ , $\Rightarrow$ , $\in$ ) puis représenter la situation sur un diagramme de Venn.

$A \subseteq B$
$A \cap B = \varnothing$

Retourne à la théorie du cours : Formaliser l’inclusion et Opérations sur les ensembles.

Question à te poser.

« Être dans $A$ » se note $x\in A$ . Une relation entre ensembles se lit comme un énoncé « pour tout élément $x$ … ». Que dit-elle de la position des disques dans le diagramme de Venn ?

(a) $\forall\, x,\ x\in A \Rightarrow x\in B$ — le disque $A$ est entièrement contenu dans $B$ .

(b) $\forall\, x,\ \lnot(x\in A \land x\in B)$ — les disques $A$ et $B$ ne se recouvrent pas (disjoints).

Écrire une égalité d’ensembles là où il faut une implication (inclusion) ; confondre $\cap=\varnothing$ (disjoints) et $\subseteq$ (inclus).

✎ Exercice R.16 #Renforcement · O1 · ★★☆

Pour chaque ligne, écrire le membre de droite en fonction de « $x\in A$ » et « $x\in B$ » et les connecteurs logiques $\land$ , $\lor$ et $\lnot$ .

$x \in A\cap B\ \Leftrightarrow\ \ldots$
$x \in A\cup B\ \Leftrightarrow\ \ldots$
$x \in A\setminus B\ \Leftrightarrow\ \ldots$

Retourne à la théorie du cours : Opérations sur les ensembles et Comment combiner des propositions ? Connecteurs logiques.

Question à te poser.

Comment traduire en français $A \cap B$ avec un connecteur logique? Comment traduire l’union avec un connecteur logique? etc.

$(x\in A)\ \land\ (x\in B)$ .
$(x\in A)\ \lor\ (x\in B)$ .
$(x\in A)\ \land\ \lnot(x\in B)$ .

Traduire $\cup$ par « et » ; oublier le non du complément ou du « $\setminus$ ».

✎ Exercice R.17 #Renforcement · O3 · ★★★

Dans chaque paire, les deux énoncés utilisent les mêmes symboles, mais dans un ordre différent (ou avec des parenthèses placées ailleurs).

Traduis chaque énoncé en français courant.
Dis s’il est vrai ou faux.

$\forall\, n\in\mathbb{N},\ \exists\, m\in\mathbb{N},\ n< m$ et $\exists\, m\in\mathbb{N},\ \forall\, n\in\mathbb{N},\ n< m$
$\forall\, n\in\mathbb{N},\ \exists\, m\in\mathbb{N},\ n+m=10$ et $\exists\, m\in\mathbb{N},\ \forall\, n\in\mathbb{N},\ n+m=10$
$\forall\, n\in\mathbb{N},\ (n \text{ est pair}\ \lor\ n \text{ est impair})$ et $\big(\forall\, n\in\mathbb{N},\ n \text{ est pair}\big)\ \lor\ \big(\forall\, n\in\mathbb{N},\ n \text{ est impair}\big)$
$\exists\, n\in\mathbb{N},\ (n \text{ est pair}\ \land\ n \text{ est impair})$ et $\big(\exists\, n\in\mathbb{N},\ n \text{ est pair}\big)\ \land\ \big(\exists\, n\in\mathbb{N},\ n \text{ est impair}\big)$

Retourne à la théorie du cours : Quantificateurs imbriqués et Portée des quantificateurs.

Question à te poser

Dans quel ordre est-ce que je choisis mes nombres — et le second a-t-il le droit de dépendre du premier ?

Si je lis $\forall\, n\in\mathbb{N},\ \exists\, m\in\mathbb{N},\ \ldots$ : on me donne $n$ d’abord, puis je cherche un $m$ adapté. Ai-je le droit de changer de $m$ quand $n$ change ?
Si je lis $\exists\, m\in\mathbb{N},\ \forall\, n\in\mathbb{N},\ \ldots$ : je dois annoncer mon $m$ avant de voir les $n$ . Un seul et même $m$ peut-il convenir à tous les $n$ à la fois ?

(a)

$\forall\, n\in\mathbb{N},\ \exists\, m\in\mathbb{N},\ n<m$ : « Quel que soit le naturel choisi, il en existe un plus grand. » Vrai (prendre $m=n+1$ , qui dépend de $n$ ).
$\exists\, m\in\mathbb{N},\ \forall\, n\in\mathbb{N},\ n<m$ : « Il existe un naturel plus grand que tous les naturels. » Faux : ce $m$ devrait notamment être plus grand que lui-même, et de toute façon $m+1$ le dépasse. Il n’y a pas de plus grand naturel.

(b)

$\forall\, n\in\mathbb{N},\ \exists\, m\in\mathbb{N},\ n+m=10$ : « Tout naturel peut être complété à $10$ . » Faux dans $\mathbb{N}$ : pour $n=12$ , il faudrait $m=-2$ , qui n’est pas un naturel.
$\exists\, m\in\mathbb{N},\ \forall\, n\in\mathbb{N},\ n+m=10$ : « Il existe un naturel qui, ajouté à n’importe quel naturel, donne toujours $10$ . » Faux (il faudrait $m=10$ pour $n=0$ et $m=9$ pour $n=1$ ).

(c)

$\forall\, n\in\mathbb{N},\ (n \text{ est pair}\ \lor\ n \text{ est impair})$ : « Tout naturel est pair ou impair. » Vrai.
$\big(\forall\, n\in\mathbb{N},\ n \text{ est pair}\big)\ \lor\ \big(\forall\, n\in\mathbb{N},\ n \text{ est impair}\big)$ : « Ou bien tous les naturels sont pairs, ou bien tous sont impairs. » Faux ( $3$ contredit la première, $4$ la seconde).

(d)

$\exists\, n\in\mathbb{N},\ (n \text{ est pair}\ \land\ n \text{ est impair})$ : « Il existe un naturel à la fois pair et impair. » Faux (impossible pour un même nombre).
$\big(\exists\, n\in\mathbb{N},\ n \text{ est pair}\big)\ \land\ \big(\exists\, n\in\mathbb{N},\ n \text{ est impair}\big)$ : « Il existe un naturel pair, et il existe un naturel impair. » Vrai (par exemple $4$ et $7$ : ce ne sont pas les mêmes).

Permuter des quantificateurs change une proposition : $\forall n\in\mathbb{N},\exists m\in\mathbb{N}$ autorise un $m$ différent pour chaque $n$ , alors que $\exists m\in\mathbb{N},\forall n\in\mathbb{N}$ exige un seul $m$ valable partout. En (a), c’est toute la différence entre « il y a toujours un naturel plus grand qu’un autre » (vrai) et « il y a un naturel plus grand grand que tous les autres» (faux).

Et surveille les parenthèses : dans (c) et (d), le même symbole placé à l’intérieur ou à l’extérieur change complètement l’énoncé.