QCM : Logique formelle et raisonnement (22 questions)

Questions et réponses du QCM

1. Que représente l’expression ∑k=15ak\sum_{k=1}^{5} a_k ?

La somme a0+a1+a2+a3+a4a_0+a_1+a_2+a_3+a_4
La somme a1+a2+a3+a4+a5a_1+a_2+a_3+a_4+a_5
Le produit a1a2a3a4a5a_1a_2a_3a_4a_5
Le terme unique a5a_5

La somme $$a_1+a_2+a_3+a_4+a_5$$

Explication

Le symbole Σ\Sigma indique l’addition des termes dont les indices vont de la borne inférieure à la borne supérieure. Le symbole Π\Pi, et non Σ\Sigma, servirait à noter le produit correspondant.

2. Quelle égalité exprime correctement le caractère muet de l’indice dans une somme ?

∑k=1nxk=∑m=1nxm+1\sum_{k=1}^{n}x_k=\sum_{m=1}^{n}x_{m+1}
∑k=1nxk=∑m=0nxm\sum_{k=1}^{n}x_k=\sum_{m=0}^{n}x_m
∑k=1nxk=∑m=1n+1xm\sum_{k=1}^{n}x_k=\sum_{m=1}^{n+1}x_m
∑k=1nxk=∑m=1nxm\sum_{k=1}^{n}x_k=\sum_{m=1}^{n}x_m

$$\sum_{k=1}^{n}x_k=\sum_{m=1}^{n}x_m$$

Explication

Le nom de l’indice peut être changé sans modifier les bornes ni le terme général, car cet indice est muet. Les autres égalités changent les termes inclus en modifiant un indice ou une borne.

3. Quelle transformation applique correctement la linéarité des sommes ?

∑j=0n(αaj+βbj)=α∑j=0naj+β∑j=0nbj\sum_{j=0}^{n}(\alpha a_j+\beta b_j)=\alpha\sum_{j=0}^{n}a_j+\beta\sum_{j=0}^{n}b_j
∑j=0n(αaj+βbj)=αβ∑j=0najbj\sum_{j=0}^{n}(\alpha a_j+\beta b_j)=\alpha\beta\sum_{j=0}^{n}a_jb_j
∑j=0n(αaj+βbj)=(∑j=0nαaj)(∑j=0nβbj)\sum_{j=0}^{n}(\alpha a_j+\beta b_j)=\left(\sum_{j=0}^{n}\alpha a_j\right)\left(\sum_{j=0}^{n}\beta b_j\right)
∑j=0n(αaj+βbj)=∑j=0naj+∑j=0nbj\sum_{j=0}^{n}(\alpha a_j+\beta b_j)=\sum_{j=0}^{n}a_j+\sum_{j=0}^{n}b_j

$$\sum_{j=0}^{n}(\alpha a_j+\beta b_j)=\alpha\sum_{j=0}^{n}a_j+\beta\sum_{j=0}^{n}b_j$$

Explication

La somme distribue l’addition et permet d’extraire les constantes multiplicatives. La troisième proposition transforme à tort une somme en produit, tandis que la dernière perd les coefficients α\alpha et β\beta.

4. Quelle forme prend la somme télescopique ∑k=pn(ak+1−ak)\sum_{k=p}^{n}(a_{k+1}-a_k) ?

an+1+apa_{n+1}+a_p
ap−ana_p-a_n
an+1−apa_{n+1}-a_p
an−ap+1a_n-a_{p+1}

$$a_{n+1}-a_p$$

Explication

Dans cette somme, les termes intermédiaires s’annulent deux à deux et il reste les termes d’extrémité an+1a_{n+1} et apa_p avec leurs signes. La somme ne devient donc pas une addition des extrémités ni une expression décalée.

5. Que représente le produit ∏k=1nxk\prod_{k=1}^{n}x_k ?

Le produit x0x1⋯xn−1x_0x_1\cdots x_{n-1}
Le terme unique xnx_n
La somme x1+x2+⋯+xnx_1+x_2+\cdots+x_n
Le produit x1x2⋯xnx_1x_2\cdots x_n

Le produit $$x_1x_2\cdots x_n$$

Explication

Le symbole Π\Pi indique la multiplication successive des termes compris entre les bornes, ici de x1x_1 à xnx_n. Le symbole Σ\Sigma désignerait la somme, et les autres propositions modifient les bornes ou ignorent les termes intermédiaires.

6. Quelle valeur la définition de la factorielle attribue-t-elle à 0!0! ?

0!=10!=1
0!=100!=\frac{1}{0}
0!=00!=0
0!=−10!= -1

$$0!=1$$

Explication

La factorielle est définie par n!=∏k=1nkn!=\prod_{k=1}^{n}k avec la convention 0!=10!=1. Cette convention permet de distinguer la factorielle de zéro d’une expression comportant une division par zéro.

7. Pour une suite de réels strictement positifs, comment se simplifie ∏k=pnxk+1xk\prod_{k=p}^{n}\frac{x_{k+1}}{x_k} ?

xn+1xp\frac{x_{n+1}}{x_p}
xpxn+1\frac{x_p}{x_{n+1}}
xn+1xp∏k=pnxk\frac{x_{n+1}}{x_p}\prod_{k=p}^{n}x_k
xnxp+1\frac{x_n}{x_{p+1}}

$$\frac{x_{n+1}}{x_p}$$

Explication

Les facteurs intermédiaires se simplifient deux à deux dans le produit, de sorte qu’il reste le dernier numérateur sur le premier dénominateur. La positivité des termes garantit notamment que les quotients sont bien définis et que cette simplification s’applique.

8. Quelle expression définit le coefficient binomial (np)\binom{n}{p} lorsque p≤np\le n ?

p!n!(n−p)!\frac{p!}{n!(n-p)!}
n!(n+p)!p!\frac{n!}{(n+p)!p!}
(n−p)!n!p!\frac{(n-p)!}{n!p!}
n!p!(n−p)!\frac{n!}{p!(n-p)!}

$$\frac{n!}{p!(n-p)!}$$

Explication

Le coefficient binomial se calcule en divisant n!n! par le produit p!(n−p)!p!(n-p)!. Les autres expressions placent les factorielles dans un ordre qui ne correspond pas à sa définition.

9. Quelle égalité applique la formule de symétrie des coefficients binomiaux ?

(np)=(n+pp)\binom{n}{p}=\binom{n+p}{p}
(np)=(pn−p)\binom{n}{p}=\binom{p}{n-p}
(np)=(nn−p)\binom{n}{p}=\binom{n}{n-p}
(np)=(n−1p−1)\binom{n}{p}=\binom{n-1}{p-1}

$$\binom{n}{p}=\binom{n}{n-p}$$

Explication

La symétrie associe à (np)\binom{n}{p} le coefficient obtenu en remplaçant pp par n−pn-p. Les autres égalités modifient aussi la première borne ou les deux indices de manière injustifiée.

10. Quelle relation permet de calculer (n+1p+1)\binom{n+1}{p+1} à partir de deux coefficients de la ligne précédente ?

(np)+(np+1)=(n+1p+1)\binom{n}{p}+\binom{n}{p+1}=\binom{n+1}{p+1}
(np+1)−(np)=(n+1p+1)\binom{n}{p+1}-\binom{n}{p}=\binom{n+1}{p+1}
(np)+(n+1p)=(np+1)\binom{n}{p}+\binom{n+1}{p}=\binom{n}{p+1}
(np)×(np+1)=(n+1p+1)\binom{n}{p}\times\binom{n}{p+1}=\binom{n+1}{p+1}

$$\binom{n}{p}+\binom{n}{p+1}=\binom{n+1}{p+1}$$

Explication

La formule de Pascal exprime (n+1p+1)\binom{n+1}{p+1} comme la somme de (np)\binom{n}{p} et (np+1)\binom{n}{p+1}. Une multiplication ou une soustraction ne correspond pas à cette relation, et les autres indices ne respectent pas sa structure.

11. Dans les applications particulières du binôme de Newton, quelle différence concerne les sommes donnant 2n2^n et 00 ?

La somme donnant 2n2^n contient des termes positifs, tandis que celle donnant 00 alterne les signes.
Les deux sommes alternent les signes et donnent toutes deux 00.
Les deux sommes contiennent des termes positifs et donnent toutes deux 2n2^n.
La somme donnant 2n2^n alterne les signes, tandis que celle donnant 00 contient des termes positifs.

La somme donnant $$2^n$$ contient des termes positifs, tandis que celle donnant $$0$$ alterne les signes.

Explication

Pour 2n2^n, chaque terme de ∑k=0n(nk)\sum_{k=0}^{n}\binom{n}{k} est positif, tandis que le facteur (−1)k(-1)^k fait alterner les signes dans la somme nulle. Les autres propositions inversent ces comportements ou les résultats.

12. Laquelle des phrases suivantes est une assertion au sens logique ?

Le nombre 77 est premier.
Quelle heure est-il ?
Fermez la porte !
Il pleuvra peut-être demain.

Le nombre $$7$$ est premier.

Explication

La phrase « Le nombre 77 est premier » possède une valeur de vérité déterminée et constitue donc une assertion. Une prévision incertaine, un ordre et une question ne sont pas des phrases mathématiques ayant cette propriété.

13. Si l’assertion PP est vraie, quelle est la valeur de vérité de sa négation ¬P\neg P ?

¬P\neg P est vraie.
¬P\neg P n’a pas de valeur de vérité.
¬P\neg P est fausse.
¬P\neg P peut être vraie ou fausse selon QQ.

$$\neg P$$ est fausse.

Explication

La négation inverse la valeur de vérité de l’assertion initiale : lorsque PP est vraie, ¬P\neg P est fausse. La valeur de ¬P\neg P ne dépend pas d’une autre proposition et reste une assertion logique.

14. Dans l’implication P⇒QP\Rightarrow Q, comment interpréter correctement les rôles de PP et QQ ?

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

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

Explication

L’implication P⇒QP\Rightarrow Q signifie que la réalisation de PP suffit pour obtenir QQ, tandis que QQ est requise lorsque PP est réalisée. Elle n’établit pas, à elle seule, une implication réciproque.

15. Quelle transformation est correcte d’après les lois de De Morgan ?

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

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

Explication

La négation d’une conjonction devient la disjonction des négations, ce qui donne ¬(P∧Q)⇔(¬P∨¬Q)\neg(P\land Q)\Leftrightarrow(\neg P\lor\neg Q). La négation ne conserve pas le connecteur ∧\land et ne supprime pas les négations des propositions.

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

Un unique élément de EE vérifie la propriété PP.
Aucun élément de EE ne vérifie la propriété PP.
Au moins un élément de EE vérifie la propriété PP.
Chaque élément de EE vérifie la propriété PP.

Chaque élément de $$E$$ vérifie la propriété $$P$$.

Explication

Le quantificateur universel affirme que la propriété est vérifiée par tous les éléments de l’ensemble. Le quantificateur existentiel exprime seulement l’existence d’au moins un élément satisfaisant la propriété.

17. Que garantit l’énoncé ∃x∈E tel que P(x)\exists x\in E\text{ tel que }P(x) ?

Un seul élément de EE vérifie PP et les autres la réfutent.
Au moins un élément de EE vérifie PP, sans préciser son unicité.
Un élément précis de EE est désigné et vérifie PP.
Tous les éléments de EE vérifient simultanément PP.

Au moins un élément de $$E$$ vérifie $$P$$, sans préciser son unicité.

Explication

Le quantificateur existentiel garantit l’existence d’au moins un élément vérifiant la propriété, sans imposer qu’il soit unique. L’unicité est exprimée par le quantificateur ∃!\exists!, et non par ∃\exists.

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

¬∃x∈E, P(x)\neg\exists x\in E,\ P(x)
∃!x∈E, P(x)\exists! 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 affirmation universelle signifie qu’il existe au moins un contre-exemple dans l’ensemble. L’expression ∀x∈E,¬P(x)\forall x\in E,\neg P(x) affirme au contraire que la propriété échoue pour tous les éléments.

19. Quelles sont les étapes d’une démonstration par récurrence simple, dans l’ordre logique ?

Hérédité, conclusion, puis initialisation du premier rang.
Initialisation, hérédité, puis conclusion pour tous les rangs considérés.
Conclusion, initialisation, puis hérédité entre deux rangs consécutifs.
Initialisation, conclusion immédiate, puis vérification éventuelle de l’hérédité.

Initialisation, hérédité, puis conclusion pour tous les rangs considérés.

Explication

La récurrence commence par vérifier le premier rang, puis établit le passage de P(n)P(n) à P(n+1)P(n+1) avant de conclure pour tous les rangs à partir de n0n_0. L’initialisation ne remplace donc pas l’étape d’hérédité.

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

Q⇒PQ\Rightarrow P
¬P⇒¬Q\neg P\Rightarrow\neg Q
P∧Q⇒PP\land Q\Rightarrow P
¬Q⇒¬P\neg Q\Rightarrow\neg P

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

Explication

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

21. Quel principe caractérise un raisonnement par l’absurde pour établir une proposition PP ?

Vérifier PP pour un élément, puis généraliser à tous les cas.
Supposer PP, puis vérifier une conséquence compatible.
Supposer la réciproque de PP, puis établir son impossibilité.
Supposer ¬P\neg P, puis déduire une contradiction.

Supposer $$\neg P$$, puis déduire une contradiction.

Explication

Le raisonnement par l’absurde part de la négation de la proposition et conduit à une contradiction, ce qui permet de conclure que PP est vraie. Vérifier un cas particulier ne suffit pas à établir une proposition générale.

22. Quelle stratégie suffit pour réfuter une proposition de la forme ∀x∈E, P(x)\forall x\in E,\ P(x) ?

Trouver un élément x0∈Ex_0\in E tel que ¬P(x0)\neg P(x_0).
Établir que P(x)P(x) dépend de la manière dont l’élément de EE est choisi.
Montrer que deux éléments de EE vérifient des propriétés différentes.
Démontrer que P(x)P(x) est vraie pour un élément choisi de EE.

Trouver un élément $$x_0\in E$$ tel que $$\neg P(x_0)$$.

Explication

Un seul élément de l’ensemble qui ne vérifie pas la propriété constitue un contre-exemple et réfute l’énoncé universel. La validité de la propriété pour un élément particulier ne permet pas de conclure pour tous les éléments.

Révisez avec les flashcards

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

Que désigne le symbole Σ en mathématiques?

Une somme.

Que signifie que l’indice d’une somme est muet?

On peut changer l’indice sans modifier la somme.

Quelle est la formule de la somme constante ∑k=0na\sum_{k=0}^{n}a?

(n+1)a(n+1)a.

Voir les flashcards →

Approfondir avec la fiche

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

Voir la fiche →

Cours similaires

Psychologie du développement

Topographie et classification animale

Théorie cellulaire et origine de la vie

SVT

Naissance et courants de la sociologie

Structure sociale française

Psychologie du développement

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