QCM : Logique et raisonnement mathématique — 26 questions

Questions et réponses du QCM

1. Laquelle décrit correctement une proposition logique ?

Une question dont la réponse dépend du contexte utilisé
Un énoncé pouvant être déclaré vrai ou faux, mais pas les deux
Un symbole qui désigne une opération entre deux ensembles
Une expression dont la vérité varie selon une variable libre

Un énoncé pouvant être déclaré vrai ou faux, mais pas les deux

Explication

Une proposition est un énoncé auquel on peut attribuer sans ambiguïté une valeur de vérité, vraie ou fausse. Une expression dépendant d’une variable est plutôt un prédicat tant que cette variable n’est pas fixée.

2. Quelle distinction décrit correctement une proposition et un prédicat dépendant d’une variable ?

La proposition combine deux énoncés, tandis que le prédicat nie leur valeur de vérité
La proposition a une valeur de vérité déterminée, tandis que le prédicat dépend de la variable fixée
La proposition exprime une question, tandis que le prédicat exprime une réponse déjà vérifiée
La proposition dépend d’une variable, tandis que le prédicat possède une valeur de vérité constante

La proposition a une valeur de vérité déterminée, tandis que le prédicat dépend de la variable fixée

Explication

Une proposition est déjà évaluable comme vraie ou fausse, alors qu’un prédicat dépendant d’une variable doit être évalué après fixation de cette variable. Confondre ces notions revient à attribuer au prédicat une valeur déterminée trop tôt.

3. Si une proposition PP est fausse, quelle est la valeur de vérité de sa négation ¬P\neg P ?

Elle dépend d’une seconde proposition
Elle est vraie
Elle est fausse
Elle ne possède pas de valeur de vérité

Elle est vraie

Explication

La négation inverse la valeur de vérité de la proposition initiale : elle est vraie lorsque PP est fausse. Elle ne dépend pas d’une autre proposition pour être évaluée.

4. Dans quelle situation la conjonction P∧QP \land Q est-elle vraie ?

Lorsque PP et QQ sont vraies
Lorsque PP et QQ sont fausses
Lorsque les valeurs de PP et QQ sont différentes
Lorsque PP ou QQ est vraie

Lorsque $$P$$ et $$Q$$ sont vraies

Explication

Une conjonction exige que ses deux composantes soient vraies pour être vraie. Le fait qu’une seule composante soit vraie suffit à une disjonction, pas à une conjonction.

5. Dans quelle situation la disjonction P∨QP \lor Q est-elle vraie ?

Lorsque PP et QQ sont fausses simultanément
Lorsque les deux propositions ont des valeurs opposées
Lorsque PP et QQ sont vraies simultanément
Lorsqu’au moins l’une de PP et QQ est vraie

Lorsqu’au moins l’une de $$P$$ et $$Q$$ est vraie

Explication

La disjonction est vraie dès qu’au moins une de ses deux propositions est vraie. Exiger que les deux soient vraies correspond à la conjonction.

6. Quelle expression applique correctement les lois de De Morgan à la négation d’une disjonction ?

¬(P∨Q)⇔¬P∨¬Q\neg(P \lor Q) \Leftrightarrow \neg P \lor \neg Q
¬(P∨Q)⇔P∧Q\neg(P \lor Q) \Leftrightarrow P \land Q
¬(P∨Q)⇔¬P∧¬Q\neg(P \lor Q) \Leftrightarrow \neg P \land \neg Q
¬(P∨Q)⇔P∨Q\neg(P \lor Q) \Leftrightarrow P \lor Q

$$\neg(P \lor Q) \Leftrightarrow \neg P \land \neg Q$$

Explication

La négation d’une disjonction devient la conjonction des négations, selon les lois de De Morgan. Conserver le connecteur ∨\lor ne traduit pas cette transformation logique.

7. Que signifie l’implication P⇒QP \Rightarrow Q ?

Si PP est vraie, alors QQ est vraie
Si QQ est vraie, alors PP est vraie
PP et QQ ont toujours la même valeur de vérité
Si PP est fausse, alors QQ est fausse

Si $$P$$ est vraie, alors $$Q$$ est vraie

Explication

L’implication affirme que la vérité de PP entraîne celle de QQ. Elle ne doit pas être confondue avec la réciproque Q⇒PQ \Rightarrow P ni avec une équivalence.

8. Que signifie l’équivalence P⇔QP \Leftrightarrow Q ?

PP et QQ ne peuvent pas être vraies ensemble
PP implique QQ sans que la réciproque soit considérée
PP est vraie dès que QQ est fausse
PP implique QQ et QQ implique PP

$$P$$ implique $$Q$$ et $$Q$$ implique $$P$$

Explication

Une équivalence regroupe les deux implications réciproques : P⇒QP \Rightarrow Q et Q⇒PQ \Rightarrow P. Une seule implication ne suffit donc pas à établir une équivalence.

9. Dans l’implication P⇒QP \Rightarrow Q, comment caractériser PP et QQ ?

PP est une condition nécessaire de QQ, et QQ est une condition suffisante de PP
PP est une condition suffisante de QQ, et QQ est une condition nécessaire de PP
PP et QQ sont deux conditions nécessaires indépendantes l’une de l’autre
PP et QQ sont deux conditions suffisantes indépendantes l’une de l’autre

$$P$$ est une condition suffisante de $$Q$$, et $$Q$$ est une condition nécessaire de $$P$$

Explication

Si PP entraîne QQ, la réalisation de PP suffit à obtenir QQ, tandis que QQ est requise lorsque PP est vraie. Inverser ces rôles conduit à confondre condition suffisante et condition nécessaire.

10. Quelle proposition possède les mêmes valeurs de vérité que P⇒QP \Rightarrow Q ?

Sa contraposée ¬Q⇒¬P\neg Q \Rightarrow \neg P
Son inverse ¬P⇒¬Q\neg P \Rightarrow \neg Q
Sa réciproque Q⇒PQ \Rightarrow P
Sa négation P∧¬QP \land \neg Q

Sa contraposée $$\neg Q \Rightarrow \neg P$$

Explication

Une implication et sa contraposée ont les mêmes valeurs de vérité : P⇒QP \Rightarrow Q est équivalente à ¬Q⇒¬P\neg Q \Rightarrow \neg P. La réciproque et l’inverse ne sont pas automatiquement équivalentes à l’implication initiale.

11. Quel rôle jouent les quantificateurs lorsqu’ils sont appliqués à un prédicat dépendant d’une variable ?

Ils transforment le prédicat en ensemble en supprimant les valeurs considérées
Ils transforment le prédicat en proposition en précisant les valeurs considérées
Ils indiquent la relation entre deux ensembles sans utiliser de variable
Ils remplacent la variable par une constante sans préciser le domaine considéré

Ils transforment le prédicat en proposition en précisant les valeurs considérées

Explication

Un quantificateur précise les valeurs de la variable auxquelles le prédicat doit s’appliquer, ce qui permet d’obtenir une proposition. Il ne transforme pas le prédicat en ensemble et ne se réduit pas à un remplacement par une constante.

12. Dans quelle condition la proposition ∀x∈A, P(x)\forall x \in A,\ P(x) est-elle vraie ?

Lorsqu’aucun élément de A ne vérifie la propriété P
Lorsque chaque élément de A vérifie la propriété P
Lorsqu’au moins un élément de A vérifie la propriété P
Lorsque chaque élément de A n’appartient pas à la propriété P

Lorsque chaque élément de A vérifie la propriété P

Explication

La proposition universelle est vraie si tous les éléments de l’ensemble A satisfont P. La présence d’un seul élément vérifiant P correspondrait à une condition existentielle, pas universelle.

13. Que signifie la proposition ∃x∈A, P(x)\exists x \in A,\ P(x) ?

Aucun élément de A ne vérifie la propriété P
Au moins un élément de A vérifie la propriété P
Tous les éléments de A vérifient la propriété P
Un élément extérieur à A vérifie la propriété P

Au moins un élément de A vérifie la propriété P

Explication

Le quantificateur existentiel affirme qu’il existe au moins un élément de A pour lequel P est vraie. L’affirmation concernant tous les éléments relève du quantificateur universel.

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

∀x∉A, P(x)\forall x \notin A,\ P(x)
∃x∈A, ¬P(x)\exists x \in A,\ \neg P(x)
∃x∈A, P(x)\exists x \in A,\ P(x)
∀x∈A, ¬P(x)\forall x \in A,\ \neg P(x)

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

Explication

La négation d’une affirmation universelle indique qu’au moins un élément ne vérifie pas la propriété, soit ∃x∈A, ¬P(x)\exists x \in A,\ \neg P(x). Employer le quantificateur universel dans la négation imposerait à tort que tous les éléments échouent.

15. Quelle caractéristique distingue un ensemble d’un couple ordonné ?

Les éléments d’un ensemble sont associés à des coordonnées
Les éléments d’un ensemble sont toujours deux par deux
Les éléments d’un ensemble ne sont pas ordonnés
Les éléments d’un ensemble sont classés selon leur position

Les éléments d’un ensemble ne sont pas ordonnés

Explication

Un ensemble est une collection d’éléments dont l’ordre ne joue pas de rôle. Les coordonnées et leur ordre caractérisent plutôt un couple ou un n-uplet.

16. Que signifie la relation A⊂BA \subset B ?

Un élément de A appartient à B sans comparer les ensembles
Les ensembles A et B possèdent exactement les mêmes éléments
Tout élément de A appartient aussi à B
Tout élément de B appartient aussi à A

Tout élément de A appartient aussi à B

Explication

L’inclusion A⊂BA \subset B signifie que chaque élément de A est également un élément de B. Elle concerne deux ensembles, contrairement à une notation d’appartenance comme x∈Ax \in A.

17. Comment peut-on démontrer l’égalité de deux ensembles A et B par double inclusion ?

En établissant que A⊂BA \subset B et que B⊂AB \subset A
En montrant qu'A et B possèdent un élément commun
En vérifiant qu’un élément de A appartient également à B
En établissant qu'A contient davantage d’éléments que B

En établissant que $$A \subset B$$ et que $$B \subset A$$

Explication

Deux ensembles sont égaux lorsque chacun est inclus dans l’autre, c’est-à-dire lorsque A⊂BA \subset B et B⊂AB \subset A. Un seul élément commun ne suffit pas à établir l’égalité des ensembles.

18. Si un élément appartient à A ou à B, dans quelle opération ensembliste est-il retenu ?

Dans la réunion A∪BA \cup B
Dans le complémentaire de A
Dans le produit cartésien A×BA \times B
Dans l’intersection A∩BA \cap B

Dans la réunion $$A \cup B$$

Explication

La réunion contient les éléments qui appartiennent à A ou à B, tandis que l’intersection exige une appartenance simultanée aux deux ensembles. Le complémentaire et le produit cartésien répondent à d’autres constructions.

19. Quelle égalité exprime correctement une loi de De Morgan pour les ensembles ?

(A∪B)c=Ac∩Bc(A \cup B)^c = A^c \cap B^c
(A∪B)c=A∩B(A \cup B)^c = A \cap B
(A∪B)c=Ac∪Bc(A \cup B)^c = A^c \cup B^c
(A∩B)c=Ac∩Bc(A \cap B)^c = A^c \cap B^c

$$(A \cup B)^c = A^c \cap B^c$$

Explication

Le complémentaire d’une réunion est l’intersection des complémentaires, soit (A∪B)c=Ac∩Bc(A \cup B)^c = A^c \cap B^c. La réunion des complémentaires correspond plutôt au complémentaire de l’intersection.

20. Quelle chaîne d’inclusions décrit correctement les ensembles numériques usuels ?

N⊂Z⊂Q⊂R⊂C\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}
Z⊂N⊂R⊂Q⊂C\mathbb{Z} \subset \mathbb{N} \subset \mathbb{R} \subset \mathbb{Q} \subset \mathbb{C}
C⊂R⊂Q⊂Z⊂N\mathbb{C} \subset \mathbb{R} \subset \mathbb{Q} \subset \mathbb{Z} \subset \mathbb{N}
N⊂Q⊂Z⊂C⊂R\mathbb{N} \subset \mathbb{Q} \subset \mathbb{Z} \subset \mathbb{C} \subset \mathbb{R}

$$\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}$$

Explication

Les naturels sont contenus dans les entiers relatifs, eux-mêmes contenus dans les rationnels, puis dans les réels et les complexes. Les autres chaînes inversent ou déplacent certaines inclusions.

21. Pour appliquer le modus ponens à une implication H⇒CH \Rightarrow C, quelles prémisses permettent de conclure CC ?

Établir que CC est fausse et que H⇒CH \Rightarrow C est vraie
Établir que ¬C\neg C est vraie et que ¬H⇒¬C\neg H \Rightarrow \neg C est vraie
Établir que C⇒HC \Rightarrow H est vraie et que HH est fausse
Établir que HH est vraie et que H⇒CH \Rightarrow C est vraie

Établir que $$H$$ est vraie et que $$H \Rightarrow C$$ est vraie

Explication

Le modus ponens part de l’hypothèse vraie HH et de l’implication H⇒CH \Rightarrow C pour conclure que CC est vraie. Le raisonnement à partir de ¬C\neg C relève de la contraposée, et non du modus ponens.

22. Pour réfuter l’énoncé ∀x∈A, P(x)\forall x \in A,\ P(x), quelle démarche suffit ?

Prouver que P(x)P(x) est vraie pour un élément choisi de AA
Remplacer l’ensemble AA par un sous-ensemble ne contenant aucun contre-exemple
Trouver un élément de AA pour lequel P(x)P(x) est fausse
Montrer que chaque élément de AA vérifie une propriété différente

Trouver un élément de $$A$$ pour lequel $$P(x)$$ est fausse

Explication

Un seul élément de AA qui ne vérifie pas P(x)P(x) constitue un contre-exemple et réfute l’énoncé universel. Vérifier la propriété sur un seul élément ne permet pas de confirmer ni de réfuter une affirmation portant sur tous les éléments.

23. Pour démontrer P⇒QP \Rightarrow Q par contraposée, quelle implication faut-il établir ?

Q⇒PQ \Rightarrow P
P⇒¬QP \Rightarrow \neg Q
¬Q⇒¬P\neg Q \Rightarrow \neg P
¬P⇒¬Q\neg P \Rightarrow \neg Q

$$\neg Q \Rightarrow \neg P$$

Explication

La contraposée ¬Q⇒¬P\neg Q \Rightarrow \neg P est logiquement équivalente à P⇒QP \Rightarrow Q. La réciproque Q⇒PQ \Rightarrow P peut être fausse même lorsque l’implication initiale est vraie.

24. Dans une disjonction de cas visant à prouver une propriété sur un ensemble, quelle condition les sous-cas doivent-ils respecter ?

Chaque sous-cas doit contenir exactement le même nombre d’éléments
Les sous-cas doivent produire des conclusions différentes
Un seul sous-cas doit contenir les éléments les plus difficiles
Leur réunion doit couvrir tout l’ensemble considéré

Leur réunion doit couvrir tout l’ensemble considéré

Explication

La conclusion doit être démontrée dans chaque sous-cas, et la réunion de ces cas doit couvrir tout l’ensemble étudié. Des cas incomplets laissent certaines situations sans preuve et ne suffisent donc pas pour une propriété universelle.

25. Pour prouver par récurrence que P(n)P(n) est vraie pour tout entier n≥n0n \geq n_0, quelles deux étapes sont nécessaires ?

Prouver P(n0+1)P(n_0+1), puis montrer que P(k+1)⇒P(k)P(k+1) \Rightarrow P(k)
Prouver P(n0)P(n_0), puis montrer que P(k)⇒P(k+1)P(k) \Rightarrow P(k+1)
Prouver P(0)P(0), puis vérifier la propriété pour quelques valeurs suivantes
Supposer P(k+1)P(k+1) vraie, puis déduire directement P(n0)P(n_0)

Prouver $$P(n_0)$$, puis montrer que $$P(k) \Rightarrow P(k+1)$$

Explication

La récurrence commence par l’initialisation P(n0)P(n_0), puis établit l’hérédité, c’est-à-dire P(k)⇒P(k+1)P(k) \Rightarrow P(k+1). Vérifier plusieurs valeurs particulières ne remplace pas la démonstration générale de l’hérédité.

26. Dans une démarche d’analyse-synthèse, quel rôle joue la synthèse après l’obtention de candidats ?

Vérifier que les candidats satisfont les conditions suffisantes
Transformer chaque condition nécessaire en une implication réciproque
Écarter les candidats en utilisant une contradiction avec l’hypothèse
Déduire les premières conditions nécessaires à partir de l’énoncé

Vérifier que les candidats satisfont les conditions suffisantes

Explication

L’analyse fournit des conditions nécessaires qui permettent de dégager des candidats, tandis que la synthèse vérifie que ces candidats satisfont réellement les conditions suffisantes. Une condition nécessaire seule ne garantit donc pas qu’un candidat soit une solution.

Révisez avec les flashcards

Mémorisez les réponses avec 40 flashcards sur Logique et raisonnement mathématique.

Qu'est-ce qu'une proposition en logique ?

Un énoncé vrai ou faux sans ambiguïté, jamais les deux à la fois.

Quelle différence y a-t-il entre une proposition et un prédicat dépendant d'une variable ?

La proposition a une valeur de vérité déterminée, le prédicat dépend de la variable.

Quand la négation d'une proposition est-elle vraie ?

Quand la proposition initiale est fausse.

Voir les flashcards →

Approfondir avec la fiche

Consultez la fiche de révision complète sur Logique et raisonnement mathématique.

Voir la fiche →

Cours similaires

Catalyse enzymatique et enzymes

Priorités opératoires

Mathématiques

Composition d’un système chimique

Chimie

Acides nucléiques et rôle

SVT

Géométrie, fonctions et statistiques

Mathématiques

Intro biocellulaire

Crée tes propres QCM

Importe ton cours et l'IA génère des QCM avec corrections en 30 secondes.

Générateur de QCM