QCM : Logique mathématique et raisonnements (21 questions)

Explication

Une proposition est une affirmation textuelle ou mathématique à laquelle correspond une seule valeur de vérité : vraie ou fausse. Une question ou une affirmation dont la valeur varie selon l’interprétation ne répond pas à cette définition.

Explication

Une table de vérité récapitule les valeurs possibles des propositions élémentaires et permet d’évaluer une proposition complexe. Elle ne sert ni à attribuer une valeur numérique ni à étudier la formulation des phrases.

Explication

La négation possède la valeur opposée à celle de la proposition qu’elle nie : lorsque P est fausse, ¬P est vraie. La valeur de ¬P ne dépend pas d’une autre proposition comme Q.

Explication

La conjonction correspond au ET logique et exige que les deux propositions soient simultanément vraies. Le fait qu’une seule proposition soit vraie suffit plutôt pour une disjonction inclusive.

Explication

La disjonction inclusive est vraie dès qu’au moins une des propositions P ou Q est vraie, y compris lorsque les deux le sont. Des valeurs opposées constituent un cas particulier, mais ne décrivent pas toutes les situations où la disjonction est vraie.

Explication

Une implication « si P alors Q » est fausse dans le seul cas où la condition P est vraie mais où Q ne l’est pas. Elle reste vraie lorsque P est fausse, y compris quand Q est également fausse.

Explication

L’équivalence est vraie lorsque les deux propositions possèdent la même valeur de vérité, qu’elles soient toutes deux vraies ou toutes deux fausses. Une implication dans une seule direction ne garantit pas cette égalité.

Explication

La contraposée inverse l’ordre des propositions et nie chacune d’elles, ce qui donne ¬Q ⇒ ¬P. La proposition Q ⇒ P est la réciproque, tandis que ¬P ⇒ ¬Q est une autre transformation logique.

Explication

Une implication est vraie lorsque P est fausse ou lorsque Q est vraie, ce qui donne $P \Rightarrow Q \Leftrightarrow \neg P \lor Q$. L’expression $P \land Q$ impose que les deux propositions soient vraies et ne décrit donc pas l’implication dans tous les cas.

Explication

Une équivalence exige que chacune des deux propositions implique l’autre, donc elle combine $P \Rightarrow Q$ et $Q \Rightarrow P$. Une implication prise seule ne garantit pas le sens inverse.

Explication

La loi de De Morgan donne $\neg(P \land Q) \Leftrightarrow (\neg P \lor \neg Q)$. La conjonction des deux négations correspond plutôt à la négation de $P \lor Q$.

Explication

Le quantificateur universel affirme que tout élément de $E$ vérifie la propriété $P(x)$. L’existence d’un seul élément satisfaisant cette propriété relève du quantificateur existentiel.

Explication

Le quantificateur existentiel affirme qu’il existe au moins un élément de $E$ pour lequel $P(x)$ est vraie. Il ne demande pas que la propriété soit satisfaite par tous les éléments de $E$.

Explication

Nier une affirmation universelle revient à trouver au moins un élément qui ne vérifie pas la propriété, soit $\neg(\forall x \in E, P(x)) \Leftrightarrow \exists x \in E, \neg P(x)$. L’expression universelle négative demanderait à tort que tous les éléments contredisent la propriété.

Explication

Dire qu’il n’existe aucun élément vérifiant $P(x)$ signifie que tous les éléments vérifient sa négation, d’où $\neg(\exists x \in E, P(x)) \Leftrightarrow \forall x \in E, \neg P(x)$. La présence d’un seul contre-exemple correspondrait à une négation universelle, pas existentielle.

Explication

Le Modus Ponens applique une implication à son antécédent vrai : de $P$ et $P \Rightarrow Q$, on déduit nécessairement $Q$. La contraposition, elle, partirait de $\neg Q$ pour conclure $\neg P$.

Explication

La contraposition repose sur l’équivalence logique $P \Rightarrow Q \Leftrightarrow \neg Q \Rightarrow \neg P$. La proposition $Q \Rightarrow P$ est la réciproque et peut être fausse même lorsque l’implication initiale est vraie.

Explication

Le raisonnement par l’absurde commence par l’hypothèse contraire $\neg P$ et montre qu’elle conduit à une contradiction, ce qui permet de retenir $P$. Supposer directement $P$ ne constitue pas une preuve par l’absurde.

Explication

Un seul contre-exemple appartenant à $E$ et ne vérifiant pas $P$ suffit à invalider l’affirmation universelle. Un élément qui satisfait la propriété confirme cette instance, mais ne réfute pas l’énoncé pour tous les éléments.

Explication

À intérêt composé, chaque période multiplie le capital par $1+i$, d’où la formule $V_n=V_0(1+i)^n$. L’expression linéaire avec $i\times n$ correspondrait à un calcul d’intérêt simple, et non composé.

Explication

L’hypothèse $P$ est la croissance du PIB de 6,5 %, tandis que l’implication associe cette situation à des recrutements privés massifs, conclusion $Q$. Confondre cette conclusion avec une évolution des effectifs publics modifie le contenu de l’exemple.