QCM : Logique et raisonnements — 25 questions

Explication

Une proposition est un énoncé mathématique auquel on peut attribuer une valeur de vérité, vraie ou fausse. Les autres formulations expriment une consigne ou une exclamation sans valeur de vérité déterminée.

Explication

La négation inverse la valeur de vérité de la proposition initiale : elle est donc fausse lorsque $P$ est vraie. La proposition $P$, elle, conserve sa propre valeur de vérité.

Explication

Une conjonction exige que les deux propositions soient vraies en même temps. Le fait qu’une seule proposition soit vraie suffit pour une disjonction inclusive, mais pas pour une conjonction.

Explication

La disjonction inclusive est vraie dès qu’au moins l’une des deux propositions est vraie. Ici, $Q$ est vraie, même si $P$ est fausse.

Explication

L’implication $P \Rightarrow Q$ est définie par $\text{non}(P)$ ou $Q$ ; elle est donc vraie si $P$ est fausse ou si $Q$ est vraie. Elle devient fausse lorsque $P$ est vraie et $Q$ est fausse.

Explication

Une démonstration directe de $P \Rightarrow Q$ commence par l’hypothèse que $P$ est vraie, puis établit $Q$. Partir de $Q$ vraie correspond à l’étude de la réciproque, pas à la démonstration directe de l’implication.

Explication

Une équivalence est vraie lorsque les deux propositions sont vraies ensemble ou fausses ensemble. Une seule implication ne suffit pas à établir cette équivalence.

Explication

L’équivalence exige les deux sens : $P \Rightarrow Q$ et $Q \Rightarrow P$. Une disjonction des implications ne garantirait pas que chacune soit vraie.

Explication

Une condition nécessaire doit être vérifiée dès que $P$ l’est, ce qui se traduit par $P \Rightarrow Q$. L’implication inverse exprime une condition suffisante.

Explication

Une condition suffisante garantit la réalisation de $P$ lorsqu’elle est satisfaite, d’où $Q \Rightarrow P$. L’implication $P \Rightarrow Q$ décrit plutôt une condition nécessaire.

Explication

Une condition nécessaire et suffisante fournit les deux implications, ce qui est exactement l’équivalence $P \Leftrightarrow Q$. Une seule implication ne garantit qu’un seul des deux rôles.

Explication

Le quantificateur universel affirme que la propriété est vérifiée par chaque élément de l’ensemble. Le quantificateur existentiel conviendrait à une propriété vraie pour au moins un élément, et non pour tous.

Explication

Le quantificateur existentiel garantit l’existence d’au moins un élément de $E$ satisfaisant $P(x)$. Il ne garantit ni que tous les éléments conviennent ni que l’élément soit unique.

Explication

Nier une propriété vraie pour tous les éléments signifie qu’il existe au moins un élément pour lequel elle est fausse. L’expression universelle de la négation imposerait une fausseté pour chaque élément, ce qui est plus fort.

Explication

Lorsque l’existence de $y$ est placée après le quantificateur sur $x$, le choix de $y$ peut varier selon $x$. Lorsque $y$ est quantifié en premier, il doit fonctionner pour tous les éléments de $E$.

Explication

La récurrence simple commence par le cas initial, puis établit l’hérédité d’un rang au suivant. La récurrence forte, elle, utilise l’hypothèse simultanée de tous les cas précédents.

Explication

La récurrence double initialise deux rangs consécutifs et s’appuie sur les deux propriétés précédentes pour établir le rang suivant. Cette structure la distingue de la récurrence simple, qui ne mobilise qu’un rang précédent.

Explication

La récurrence forte autorise l’utilisation de tous les cas déjà établis, depuis le rang initial jusqu’au rang $n$. La récurrence simple ne suppose que le cas immédiatement précédent.

Explication

Le raisonnement par équivalence conserve exactement le même ensemble de solutions à chaque transformation. Une simple implication peut perdre des solutions ou en introduire, car elle ne garantit pas la réciproque.

Explication

La contraposition repose sur l’équivalence logique entre $P \Rightarrow Q$ et $\operatorname{non}(Q) \Rightarrow \operatorname{non}(P)$. L’implication $Q \Rightarrow P$ est la réciproque et n’est pas équivalente en général.

Explication

La preuve par l’absurde part de la négation de la proposition recherchée et montre que cette hypothèse conduit à une contradiction. Une preuve directe s’appuie plutôt sur les hypothèses données ou sur la proposition elle-même pour construire la conclusion.

Explication

Cette méthode découpe $E$ en parties disjointes dont la réunion est $E$ et vérifie la propriété dans chaque partie. La vérification d’un seul élément ou d’une seule partie ne permet pas de couvrir tout l’ensemble.

Explication

L’analyse suppose l’existence d’une solution afin d’obtenir des valeurs possibles, tandis que la synthèse conserve celles qui appartiennent à $E$ et satisfont réellement la propriété. Confondre ces étapes revient à attribuer à l’analyse la vérification finale des solutions.

Explication

En 1854, George Boole présente une algèbre des raisonnements utilisant les opérateurs ET, OU et NON. Les quantificateurs et le langage formel sont surtout associés à Frege, tandis que les circuits électroniques constituent une application ultérieure.

Explication

Frege publie l’idéographie en 1879, ouvrage fondateur qui introduit notamment les quantificateurs $\forall$ et $\exists$. Les opérateurs booléens sont liés à Boole, tandis que les syllogismes appartiennent à Aristote et que les circuits relèvent d’une application moderne.