QCM : Logique et identités remarquables (14 questions)

Questions et réponses du QCM

1. Dans quelle situation la conjonction p∧qp \land q est-elle vraie ?

Lorsque p et q sont vraies simultanément
Lorsque p et q sont toutes deux fausses
Lorsque p ou q est vraie, mais pas nécessairement les deux
Lorsque p est vraie et q est fausse

Lorsque p et q sont vraies simultanément

Explication

La conjonction exige que les deux propositions aient la valeur vraie en même temps. La disjonction, contrairement à elle, peut être vraie lorsqu’une seule des deux propositions est vraie.

2. Quelle condition suffit pour que la disjonction p∨qp \lor q soit vraie ?

Au moins une des propositions p et q est vraie
La proposition p est vraie et la proposition q est fausse
Les deux propositions p et q sont fausses
Les deux propositions p et q sont vraies simultanément

Au moins une des propositions p et q est vraie

Explication

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

3. Dans quel cas l’implication p⇒qp \Rightarrow q est-elle fausse ?

Lorsque p et q sont toutes deux fausses
Lorsque p est fausse et q est vraie
Lorsque p et q sont toutes deux vraies
Lorsque p est vraie et q est fausse

Lorsque p est vraie et q est fausse

Explication

L’implication échoue lorsque l’hypothèse p est réalisée mais que la conclusion q ne l’est pas. Les trois autres combinaisons ne rendent pas cette implication fausse.

4. Quelle équivalence exprime correctement la seconde loi de De Morgan ?

¬(p∨q)⇔(¬p∧¬q)\neg(p \lor q) \Leftrightarrow (\neg p \land \neg q)
¬(p∧q)⇔(p∨q)\neg(p \land q) \Leftrightarrow (p \lor q)
¬(p∧q)⇔(¬p∧¬q)\neg(p \land q) \Leftrightarrow (\neg p \land \neg q)
¬(p∨q)⇔(¬p∨¬q)\neg(p \lor q) \Leftrightarrow (\neg p \lor \neg q)

$$\neg(p \lor q) \Leftrightarrow (\neg p \land \neg q)$$

Explication

La négation d’une disjonction équivaut à la conjonction des négations des deux propositions. Remplacer la disjonction par une autre disjonction ne respecte pas la loi de De Morgan.

5. Que signifient respectivement les quantificateurs ∀\forall et ∃\exists ?

Pour tout et il existe
Il existe et pour tout
Pour aucun et il existe plusieurs
Il existe plusieurs et pour aucun

Pour tout et il existe

Explication

Le symbole ∀\forall affirme une propriété pour chaque élément considéré, tandis que ∃\exists affirme qu’au moins un élément la vérifie. Inverser ces significations change la portée logique de la proposition.

6. Comment se formule la négation de ∀x∈E, P(x)\forall x \in E,\ P(x) ?

∃x∈E, P(x)\exists x \in E,\ P(x)
∀x∈E, P(x)\forall x \in E,\ P(x)
∃x∈E, ¬P(x)\exists x \in E,\ \neg P(x)
∀x∈E, ¬P(x)\forall x \in E,\ \neg P(x)

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

Explication

La négation d’une propriété universelle affirme qu’il existe au moins un élément pour lequel la propriété est fausse. Employer encore un quantificateur universel imposerait à tort que la propriété échoue pour chaque élément.

7. Quelle expression représente la négation de ∃x∈E, P(x)\exists x \in E,\ P(x) ?

∀x∈E, P(x)\forall x \in E,\ P(x)
∀x∈E, ¬P(x)\forall x \in E,\ \neg P(x)
¬∀x∈E, P(x)\neg\forall x \in E,\ P(x)
∃x∈E, ¬P(x)\exists x \in E,\ \neg P(x)

$$\forall x \in E,\ \neg P(x)$$

Explication

Nier l’existence d’un élément possédant la propriété signifie que chaque élément de l’ensemble ne la possède pas. Une affirmation existentielle de la négation serait compatible avec la présence d’autres éléments vérifiant la propriété.

8. Laquelle de ces listes regroupe les méthodes de preuve présentées ?

Déduction, induction expérimentale, calcul matriciel et contraposition
Disjonction des cas, récurrence forte, intégration et raisonnement par l’absurde
Récurrence simple, calcul différentiel, contraposition et analyse numérique
Disjonction des cas, déduction, contraposition et raisonnement par l’absurde

Disjonction des cas, déduction, contraposition et raisonnement par l’absurde

Explication

Les méthodes citées comprennent la disjonction des cas, la déduction, la contraposition et le raisonnement par l’absurde. La récurrence, l’intégration ou l’analyse numérique ne font pas partie de cette liste précise.

9. Pour démontrer par récurrence une propriété P(n)P(n) pour tout n≥n0n \geq n_0, quelles sont les deux étapes essentielles ?

Montrer P(n)P(n) pour un entier choisi puis vérifier P(n0)P(n_0)
Vérifier P(n0)P(n_0) puis montrer que P(n)P(n) entraîne P(n+1)P(n+1)
Établir P(n)P(n) et P(n+1)P(n+1) sans supposer de rang initial
Vérifier P(n0+1)P(n_0+1) puis montrer que P(n+1)P(n+1) entraîne P(n)P(n)

Vérifier $$P(n_0)$$ puis montrer que $$P(n)$$ entraîne $$P(n+1)$$

Explication

Une récurrence commence par l’initialisation au rang n0n_0, puis établit l’hérédité d’un rang au suivant. L’initialisation ne se fait pas au rang suivant et l’hérédité ne consiste pas à remonter vers le rang précédent.

10. Quelle caractéristique distingue la récurrence forte de la récurrence simple ?

Elle utilise uniquement la proposition au rang courant pour établir celle du rang suivant
Elle utilise toutes les propositions précédentes pour établir la proposition au rang suivant
Elle remplace l’initialisation par une vérification de plusieurs exemples numériques
Elle vérifie une proposition initiale sans établir de lien avec les rangs suivants

Elle utilise toutes les propositions précédentes pour établir la proposition au rang suivant

Explication

La récurrence forte autorise l’utilisation de toutes les propositions déjà établies jusqu’au rang courant pour démontrer le rang suivant. La récurrence simple ne s’appuie que sur la proposition du rang immédiatement précédent.

11. Combien d’ordres différents peut-on former avec 4 éléments distincts ?

12
8
24
16

24

Explication

Un ordre tient compte de la position de chacun des éléments, donc le nombre de permutations est 4!=244! = 24. Le nombre 12 correspondrait à un autre calcul et ne prend pas correctement en compte toutes les permutations possibles.

12. Combien de choix de 2 éléments peut-on effectuer parmi 5 éléments, lorsque l’ordre n’est pas pris en compte ?

20
5
10
25

10

Explication

Le nombre de choix est (52)=5!2!3!=10\binom{5}{2}=\frac{5!}{2!3!}=10, car deux sélections qui ne diffèrent que par leur ordre sont identiques. Le nombre 20 compterait chaque paire dans ses deux ordres possibles.

13. Quelle expression correspond au développement du binôme de Newton pour (x+y)3\left(x+y\right)^3 ?

x3+y3x^3+y^3
(x−y)(x2+xy+y2)\left(x-y\right)\left(x^2+xy+y^2\right)
x3−3x2y+3xy2−y3x^3-3x^2y+3xy^2-y^3
x3+3x2y+3xy2+y3x^3+3x^2y+3xy^2+y^3

$$x^3+3x^2y+3xy^2+y^3$$

Explication

Le binôme de Newton donne (x+y)3=∑k=03(3k)xky3−k=x3+3x2y+3xy2+y3\left(x+y\right)^3=\sum_{k=0}^{3}\binom{3}{k}x^ky^{3-k}=x^3+3x^2y+3xy^2+y^3. L’expression avec des signes alternés correspond au développement d’une puissance de différence, et non d’une somme.

14. Quelle factorisation est correcte pour la différence de puissances x3−y3x^3-y^3 ?

(x+y)(x2−xy+y2)\left(x+y\right)\left(x^2-xy+y^2\right)
(x−y)(x2−xy+y2)\left(x-y\right)\left(x^2-xy+y^2\right)
(x−y)(x2+xy+y2)\left(x-y\right)\left(x^2+xy+y^2\right)
(x+y)(x2+xy+y2)\left(x+y\right)\left(x^2+xy+y^2\right)

$$\left(x-y\right)\left(x^2+xy+y^2\right)$$

Explication

La différence de cubes suit l’identité x3−y3=(x−y)(x2+xy+y2)x^3-y^3=\left(x-y\right)\left(x^2+xy+y^2\right), qui est un cas particulier de la différence de puissances. La factorisation avec x+yx+y concerne une somme de cubes, avec des signes alternés dans le second facteur.

Révisez avec les flashcards

Mémorisez les réponses avec 21 flashcards sur Logique et identités remarquables.

Quand la conjonction p ∧ q est-elle vraie ?

Quand p et q sont simultanément vraies.

Quand la disjonction p ∨ q est-elle vraie ?

Quand au moins une des propositions p et q est vraie.

Dans quel cas l'implication p ⇒ q est-elle fausse ?

Quand p est vraie et q est fausse.

Voir les flashcards →

Approfondir avec la fiche

Consultez la fiche de révision complète sur Logique et identités remarquables.

Voir la fiche →

Cours similaires

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