QCM : Langage et logique mathématique — 20 questions

Question 1

1. Que signifie l’écriture $\forall x \in E,\ P(x)$ ?

La propriété

P(x)

est vraie pour au moins un élément de

E

.

La propriété

P(x)

concerne un élément de

E

choisi sans condition.

La propriété

P(x)

est fausse pour chaque élément de

E

.

La propriété

P(x)

est vraie pour chaque élément de

E

.

Explication

Le quantificateur universel $\forall$ affirme que la propriété vaut pour chaque élément de l’ensemble considéré. Le quantificateur existentiel $\exists$ correspondrait à l’existence d’au moins un élément vérifiant cette propriété.

Answer

La propriété $$P(x)$$ est vraie pour chaque élément de $$E$$.

Question 2

2. Quelle affirmation traduit correctement $\exists x \in E,\ P(x)$ ?

Il existe au moins un élément de

E

qui vérifie

P(x)

.

Tout élément de

E

vérifie la propriété

P(x)

.

Un élément de

E

est choisi sans que sa propriété soit précisée.

Aucun élément de

E

ne vérifie la propriété

P(x)

.

Explication

Le quantificateur existentiel $\exists$ signifie qu’au moins un élément de l’ensemble satisfait la propriété. L’exigence portant sur tous les éléments relèverait du quantificateur universel $\forall$ .

Answer

Il existe au moins un élément de $$E$$ qui vérifie $$P(x)$$.

Question 3

3. Pourquoi l’énoncé $\forall x \in \mathbb{R},\ x^3 \ge 0$ est-il faux ?

Parce que le cube de tout réel vaut zéro.

Parce qu’un réel positif a un cube négatif.

Parce qu’un réel négatif a un cube négatif.

Parce qu’aucun réel ne possède de cube.

Explication

Un nombre réel négatif, comme $-1$ , possède un cube négatif, ce qui contredit l’affirmation universelle. Il suffit d’un contre-exemple pour rendre un énoncé précédé de $\forall$ faux.

Answer

Parce qu’un réel négatif a un cube négatif.

Question 4

4. Laquelle de ces expressions possède une valeur de vérité bien définie ?

\exists x \in \mathbb{Q},\ x^2=2

x+1>0

sans domaine ni valeur de

x

x^2=2

sans préciser la valeur de

x

P(x)

lorsque

x

reste libre

Explication

Dans $\exists x \in \mathbb{Q},\ x^2=2$ , la variable est quantifiée, donc l’énoncé peut être déclaré vrai ou faux. Une variable libre empêche généralement de fixer une valeur de vérité unique.

Answer

$$\exists x \in \mathbb{Q},\ x^2=2$$

Question 5

5. Dans l’expression $P(x) \land Q(y)$ , que désigne une variable libre ?

Une variable dont la valeur est imposée par un quantificateur.

Une variable apparaissant dans deux propriétés différentes.

Une variable qui n’est placée sous aucun quantificateur.

Une variable remplacée par une constante avant l’évaluation.

Explication

Une variable libre n’est liée par aucun quantificateur ni autre signe mutificateur. Dans l’expression donnée, $x$ et $y$ restent donc libres en l’absence d’une quantification explicite.

Answer

Une variable qui n’est placée sous aucun quantificateur.

Question 6

6. Si $A$ est faux, quelle est la valeur de vérité de sa négation $\neg A$ ?

Elle ne possède pas de valeur de vérité.

Elle dépend d’un troisième énoncé.

Elle est vraie.

Elle est fausse.

Explication

La négation logique inverse la valeur de vérité de l’énoncé auquel elle s’applique. Ainsi, lorsque $A$ est faux, $\neg A$ est vraie.

Answer

Elle est vraie.

Question 7

7. Dans quelle situation la conjonction $A \land B$ est-elle vraie ?

Lorsque

A

et

B

sont faux tous les deux.

Lorsqu’au moins l’un de

A

et

B

est vrai.

Lorsque

A

et

B

sont vrais tous les deux.

Lorsque

A

est vrai et que la valeur de

B

est inconnue.

Explication

La conjonction exige la vérité simultanée de ses deux composantes. La condition « au moins l’une est vraie » décrit plutôt la disjonction $A \lor B$ .

Answer

Lorsque $$A$$ et $$B$$ sont vrais tous les deux.

Question 8

8. Quelle expression est équivalente à $\neg(A \lor B)$ selon les lois de De Morgan ?

A \land B

A \lor (\neg B)

(\neg A) \lor (\neg B)

(\neg A) \land (\neg B)

Explication

La loi de De Morgan transforme la négation d’une disjonction en conjonction des négations. La forme correcte est donc $(\neg A) \land (\neg B)$ , et non une disjonction des deux négations.

Answer

$$(\neg A) \land (\neg B)$$

Question 9

9. Dans quel cas l’implication $A \Rightarrow B$ est-elle fausse ?

Lorsque

A

et

B

sont toutes deux fausses

Lorsque

A

est fausse et

B

est vraie

Lorsque

A

est vraie et

B

est fausse

Lorsque

A

et

B

sont toutes deux vraies

Explication

Une implication échoue lorsque son antécédent est vrai mais que sa conclusion est fausse. Si $A$ est fausse, l’implication reste vraie, contrairement à sa négation.

Answer

Lorsque $$A$$ est vraie et $$B$$ est fausse

Question 10

10. Pour démontrer $\forall x \in E,\ A(x) \Rightarrow B(x)$ , quelle démarche est appropriée ?

Montrer que

A(x)

est fausse pour chaque élément de

E

Vérifier l’implication pour un seul élément particulier de

E

Choisir un élément quelconque vérifiant

A(x)

et établir

B(x)

Choisir un élément vérifiant

B(x)

et établir

A(x)

Explication

La démonstration consiste à prendre un élément quelconque de $E$ pour lequel $A(x)$ est vraie, puis à prouver $B(x)$ . Vérifier un élément particulier ne suffit pas pour une propriété universelle.

Answer

Choisir un élément quelconque vérifiant $$A(x)$$ et établir $$B(x)$$

Question 11

11. Quelle réécriture logique de l’implication $A \Rightarrow B$ est correcte ?

A \land \neg B

\neg A \lor B

\neg A \land B

A \lor \neg B

Explication

Par définition logique, $A \Rightarrow B$ possède la même valeur de vérité que $\neg A \lor B$ . La conjonction $A \land \neg B$ décrit plutôt le cas où l’implication est fausse.

Answer

$$\neg A \lor B$$

Question 12

12. Quelle proposition distingue correctement la contraposée de la réciproque de $A \Rightarrow B$ ?

La contraposée est

A \Rightarrow \neg B

et la réciproque est

\neg A \Rightarrow B

La contraposée est

B \Rightarrow A

et la réciproque est

\neg B \Rightarrow \neg A

La contraposée est

\neg B \Rightarrow \neg A

et la réciproque est

B \Rightarrow A

La contraposée est

\neg A \Rightarrow \neg B

et la réciproque est

B \Rightarrow A

Explication

La contraposée inverse les propositions et les nie, ce qui donne $\neg B \Rightarrow \neg A$ , équivalente à l’implication initiale. La réciproque $B \Rightarrow A$ peut avoir une valeur de vérité différente.

Answer

La contraposée est $$\neg B \Rightarrow \neg A$$ et la réciproque est $$B \Rightarrow A$$

Question 13

13. Quand l’équivalence logique $A \Leftrightarrow B$ est-elle vraie ?

Lorsque

A

est fausse et

B

est vraie

Lorsque

A

entraîne

B

sans condition sur

B

Lorsque

A

et

B

ont la même valeur de vérité

Lorsque

A

est vraie et

B

est fausse

Explication

Une équivalence est vraie lorsque les deux propositions sont simultanément vraies ou simultanément fausses. Une implication dans un seul sens ne garantit pas cette identité de valeur.

Answer

Lorsque $$A$$ et $$B$$ ont la même valeur de vérité

Question 14

14. Quelle expression décompose correctement l’équivalence logique $A \Leftrightarrow B$ ?

(A \land B) \Rightarrow (A \lor B)

(\neg A \Rightarrow B) \land (\neg B \Rightarrow A)

(A \Rightarrow B) \land (B \Rightarrow A)

(A \Rightarrow B) \lor (B \Rightarrow A)

Explication

L’équivalence exige les deux implications, de $A$ vers $B$ et de $B$ vers $A$ , reliées par une conjonction. Une disjonction ne permettrait qu’un seul des deux sens.

Answer

$$(A \Rightarrow B) \land (B \Rightarrow A)$$

Question 15

15. Quelle méthode permet de démontrer que deux propositions $A$ et $B$ sont logiquement équivalentes ?

Démontrer séparément

A \Rightarrow B

puis

B \Rightarrow A

Démontrer

A \Rightarrow B

et supposer le sens inverse

Démontrer que

A

et

B

sont fausses dans un même cas

Démontrer que

A

est vraie sans examiner la proposition

B

Explication

La preuve d’une équivalence requiert les deux implications, afin d’établir chaque sens de la relation. Un seul sens ne suffit pas, même s’il est correctement démontré.

Answer

Démontrer séparément $$A \Rightarrow B$$ puis $$B \Rightarrow A$$

Question 16

16. Quelle est la négation correcte de $\forall x \in U,\ A(x)$ ?

\exists x \in U,\ A(x)

\exists x \in U,\ \neg A(x)

\neg\exists x \in U,\ A(x)

\forall x \in U,\ \neg A(x)

Explication

Nier une affirmation universelle revient à trouver au moins un élément de $U$ pour lequel la propriété échoue. La formule $\forall x \in U,\ \neg A(x)$ affirme une situation plus forte et différente.

Answer

$$\exists x \in U,\ \neg A(x)$$

Question 17

17. Quelle affirmation décrit correctement les énoncés $\forall x \in \mathbb{R},\ \exists y \in \mathbb{R},\ x<y$ et $\exists y \in \mathbb{R},\ \forall x \in \mathbb{R},\ x<y$ ?

Les deux sont vrais car tout réel possède un majorant réel

Le premier est vrai et le second est faux

Le premier est faux et le second est vrai

Les deux sont faux car aucun réel ne peut être comparé à un autre

Explication

Pour chaque réel $x$ , on peut choisir par exemple $y=x+1$ , donc le premier énoncé est vrai. Aucun réel fixé ne dépasse tous les réels, ce qui rend le second énoncé faux.

Answer

Le premier est vrai et le second est faux

Question 18

18. Quelle règle s’applique à la permutation de quantificateurs consécutifs ?

Tous les quantificateurs peuvent être permutés dès qu’ils portent sur le même ensemble

Deux quantificateurs de même type peuvent être permutés, mais pas deux types différents en général

Aucun quantificateur ne peut être permuté, même lorsque les deux sont universels

Deux quantificateurs de types différents peuvent être permutés, mais pas deux quantificateurs identiques

Explication

Des quantificateurs consécutifs de même type, comme deux $\forall$ , peuvent être échangés sans changer la valeur de vérité. L’échange entre $\forall$ et $\exists$ peut modifier le sens et n’est pas valide en général.

Answer

Deux quantificateurs de même type peuvent être permutés, mais pas deux types différents en général

Question 19

19. Dans une formule logique, comment définit-on une variable muette ou liée ?

Une variable auxiliaire placée dans la portée d’un quantificateur

Une variable choisie pour représenter une constante particulière

Une variable qui conserve le même nom dans plusieurs formules distinctes

Une variable présente dans la formule sans être associée à un quantificateur

Explication

Une variable muette est une variable auxiliaire située dans la portée d’un signe mutificateur, notamment un quantificateur. Une variable non associée à un quantificateur n’est pas liée par cette définition.

Answer

Une variable auxiliaire placée dans la portée d’un quantificateur

Question 20

20. Dans l’énoncé $\forall x \in A,\ x < y$ , quelles variables sont libres et laquelle est liée ?

A

est liée, tandis que

x

et

y

sont libres

x

et

A

sont liées, tandis que

y

est libre

x

est liée, tandis que

A

et

y

sont libres

y

est liée, tandis que

x

et

A

sont libres

Explication

Le quantificateur $\forall$ lie $x$ dans sa portée, alors que $A$ et $y$ ne sont pas liées dans cet énoncé. L’appartenance de $x$ à $A$ ne transforme pas $A$ en variable liée.

Answer

$$x$$ est liée, tandis que $$A$$ et $$y$$ sont libres

QCM : Langage et logique mathématique — 20 questions

Questions et réponses du QCM

1. Que signifie l’écriture $\forall x \in E,\ P(x)$ ?

2. Quelle affirmation traduit correctement $\exists x \in E,\ P(x)$ ?

3. Pourquoi l’énoncé $\forall x \in \mathbb{R},\ x^3 \ge 0$ est-il faux ?

4. Laquelle de ces expressions possède une valeur de vérité bien définie ?

5. Dans l’expression $P(x) \land Q(y)$ , que désigne une variable libre ?

6. Si $A$ est faux, quelle est la valeur de vérité de sa négation $\neg A$ ?

7. Dans quelle situation la conjonction $A \land B$ est-elle vraie ?

8. Quelle expression est équivalente à $\neg(A \lor B)$ selon les lois de De Morgan ?

9. Dans quel cas l’implication $A \Rightarrow B$ est-elle fausse ?

10. Pour démontrer $\forall x \in E,\ A(x) \Rightarrow B(x)$ , quelle démarche est appropriée ?

11. Quelle réécriture logique de l’implication $A \Rightarrow B$ est correcte ?

12. Quelle proposition distingue correctement la contraposée de la réciproque de $A \Rightarrow B$ ?

13. Quand l’équivalence logique $A \Leftrightarrow B$ est-elle vraie ?

14. Quelle expression décompose correctement l’équivalence logique $A \Leftrightarrow B$ ?

15. Quelle méthode permet de démontrer que deux propositions $A$ et $B$ sont logiquement équivalentes ?

16. Quelle est la négation correcte de $\forall x \in U,\ A(x)$ ?

17. Quelle affirmation décrit correctement les énoncés $\forall x \in \mathbb{R},\ \exists y \in \mathbb{R},\ x<y$ et $\exists y \in \mathbb{R},\ \forall x \in \mathbb{R},\ x<y$ ?

18. Quelle règle s’applique à la permutation de quantificateurs consécutifs ?

19. Dans une formule logique, comment définit-on une variable muette ou liée ?

20. Dans l’énoncé $\forall x \in A,\ x < y$ , quelles variables sont libres et laquelle est liée ?

Révisez avec les flashcards

Approfondir avec la fiche

Cours similaires

Vision et reconnaissance visuelle

Statistiques à une variable

La cellule et le système nerveux

Logique, trigonométrie et sommes

Viscoélasticité et modèles mécaniques

Chimie organique générale et stéréochimie

Crée tes propres QCM

QCM : Langage et logique mathématique — 20 questions

Questions et réponses du QCM

1. Que signifie l’écriture ∀x∈E, P(x)\forall x \in E,\ P(x)∀x∈E, P(x) ?

2. Quelle affirmation traduit correctement ∃x∈E, P(x)\exists x \in E,\ P(x)∃x∈E, P(x) ?

3. Pourquoi l’énoncé ∀x∈R, x3≥0\forall x \in \mathbb{R},\ x^3 \ge 0∀x∈R, x3≥0 est-il faux ?

4. Laquelle de ces expressions possède une valeur de vérité bien définie ?

5. Dans l’expression P(x)∧Q(y)P(x) \land Q(y)P(x)∧Q(y), que désigne une variable libre ?

6. Si AAA est faux, quelle est la valeur de vérité de sa négation ¬A\neg A¬A ?

7. Dans quelle situation la conjonction A∧BA \land BA∧B est-elle vraie ?

8. Quelle expression est équivalente à ¬(A∨B)\neg(A \lor B)¬(A∨B) selon les lois de De Morgan ?

9. Dans quel cas l’implication A⇒BA \Rightarrow BA⇒B est-elle fausse ?

10. Pour démontrer ∀x∈E, A(x)⇒B(x)\forall x \in E,\ A(x) \Rightarrow B(x)∀x∈E, A(x)⇒B(x), quelle démarche est appropriée ?

11. Quelle réécriture logique de l’implication A⇒BA \Rightarrow BA⇒B est correcte ?

12. Quelle proposition distingue correctement la contraposée de la réciproque de A⇒BA \Rightarrow BA⇒B ?

13. Quand l’équivalence logique A⇔BA \Leftrightarrow BA⇔B est-elle vraie ?

14. Quelle expression décompose correctement l’équivalence logique A⇔BA \Leftrightarrow BA⇔B ?

15. Quelle méthode permet de démontrer que deux propositions AAA et BBB sont logiquement équivalentes ?

16. Quelle est la négation correcte de ∀x∈U, A(x)\forall x \in U,\ A(x)∀x∈U, A(x) ?

17. Quelle affirmation décrit correctement les énoncés ∀x∈R, ∃y∈R, x<y\forall x \in \mathbb{R},\ \exists y \in \mathbb{R},\ x<y∀x∈R, ∃y∈R, x<y et ∃y∈R, ∀x∈R, x<y\exists y \in \mathbb{R},\ \forall x \in \mathbb{R},\ x<y∃y∈R, ∀x∈R, x<y ?

18. Quelle règle s’applique à la permutation de quantificateurs consécutifs ?

19. Dans une formule logique, comment définit-on une variable muette ou liée ?

20. Dans l’énoncé ∀x∈A, x<y\forall x \in A,\ x < y∀x∈A, x<y, quelles variables sont libres et laquelle est liée ?

Révisez avec les flashcards

Approfondir avec la fiche

Cours similaires

Vision et reconnaissance visuelle

Statistiques à une variable

La cellule et le système nerveux

Logique, trigonométrie et sommes

Viscoélasticité et modèles mécaniques

Chimie organique générale et stéréochimie

Crée tes propres QCM

1. Que signifie l’écriture $\forall x \in E,\ P(x)$ ?

2. Quelle affirmation traduit correctement $\exists x \in E,\ P(x)$ ?

3. Pourquoi l’énoncé $\forall x \in \mathbb{R},\ x^3 \ge 0$ est-il faux ?

5. Dans l’expression $P(x) \land Q(y)$ , que désigne une variable libre ?

6. Si $A$ est faux, quelle est la valeur de vérité de sa négation $\neg A$ ?

7. Dans quelle situation la conjonction $A \land B$ est-elle vraie ?

8. Quelle expression est équivalente à $\neg(A \lor B)$ selon les lois de De Morgan ?

9. Dans quel cas l’implication $A \Rightarrow B$ est-elle fausse ?

10. Pour démontrer $\forall x \in E,\ A(x) \Rightarrow B(x)$ , quelle démarche est appropriée ?

11. Quelle réécriture logique de l’implication $A \Rightarrow B$ est correcte ?

12. Quelle proposition distingue correctement la contraposée de la réciproque de $A \Rightarrow B$ ?

13. Quand l’équivalence logique $A \Leftrightarrow B$ est-elle vraie ?

14. Quelle expression décompose correctement l’équivalence logique $A \Leftrightarrow B$ ?

15. Quelle méthode permet de démontrer que deux propositions $A$ et $B$ sont logiquement équivalentes ?

16. Quelle est la négation correcte de $\forall x \in U,\ A(x)$ ?

17. Quelle affirmation décrit correctement les énoncés $\forall x \in \mathbb{R},\ \exists y \in \mathbb{R},\ x<y$ et $\exists y \in \mathbb{R},\ \forall x \in \mathbb{R},\ x<y$ ?

20. Dans l’énoncé $\forall x \in A,\ x < y$ , quelles variables sont libres et laquelle est liée ?