QCM : Logique propositionnelle (8 questions)

Questions et réponses du QCM

1. Dans une situation où aa est fausse et bb est vraie, quelle est la valeur de a∨ba \lor b ?

Indéterminée
Vraie seulement si les deux propositions sont vraies
Fausse
Vraie

Vraie

Explication

Une disjonction est vraie dès qu’au moins une de ses propositions est vraie. La réponse « fausse » applique la règle de la conjonction, tandis que « indéterminée » ignore les valeurs données.

2. Pour quelles valeurs de aa et bb la formule a∧ba \land b est-elle vraie ?

Lorsqu'au moins une proposition est vraie
Lorsque les deux propositions sont vraies
Lorsque les propositions ont des valeurs différentes
Lorsque les deux propositions sont fausses

Lorsque les deux propositions sont vraies

Explication

La conjonction est vraie lorsque ses deux propositions sont vraies. « Au moins une proposition est vraie » correspond à la disjonction, et des valeurs toutes deux fausses ne rendent pas la conjonction vraie.

3. Un raisonnement pose un antécédent vrai et un conséquent faux. Quelle est alors la valeur de l’implication correspondante ?

Fausse
Vraie
Impossible à déterminer sans d’autres propositions
Vraie si le conséquent est faux

Fausse

Explication

Une implication est fausse lorsque son antécédent est vrai et son conséquent faux. « Vraie si le conséquent est faux » méconnaît cette combinaison décisive, et la règle de la disjonction ne définit pas l’implication.

4. Un résultat logique est formulé par A⇒BA \Rightarrow B. Quelle formule exprime sa contraposée ?

B⇒AB \Rightarrow A
¬B⇒¬A\neg B \Rightarrow \neg A
¬A⇒¬B\neg A \Rightarrow \neg B
A⇒¬BA \Rightarrow \neg B

$$\neg B \Rightarrow \neg A$$

Explication

La contraposée de A⇒BA \Rightarrow B inverse les propositions et nie chacune d’elles, ce qui donne ¬B⇒¬A\neg B \Rightarrow \neg A. B⇒AB \Rightarrow A est la réciproque, tandis que les autres formules ne réalisent pas cette transformation.

5. Pour déterminer exactement les cas où A⇒BA \Rightarrow B est fausse, quelle formule faut-il écrire ?

¬B⇒¬A\neg B \Rightarrow \neg A
A∧¬BA \land \neg B
B⇒AB \Rightarrow A
¬B\neg B

$$A \land \neg B$$

Explication

La négation d’une implication exige que l’antécédent soit vrai et le conséquent faux, soit A∧¬BA \land \neg B. ¬B\neg B omet la condition sur A, et les deux autres formules sont des transformations de l’implication, non sa négation.

6. Une formule contient la négation de la conjonction de deux propositions, ¬(P∧Q)\neg(P \land Q). Quelle équivalence faut-il appliquer pour la réécrire ?

¬P∨Q\neg P \lor Q
P∨QP \lor Q
¬P∧¬Q\neg P \land \neg Q
¬P∨¬Q\neg P \lor \neg Q

$$\neg P \lor \neg Q$$

Explication

La loi de De Morgan transforme la négation d’une conjonction en disjonction des deux propositions niées. ¬P∧¬Q\neg P \land \neg Q conserve à tort la conjonction, tandis que les deux autres expressions omettent une négation.

7. Pour développer R∧(S∨T)R \land (S \lor T) en appliquant la distributivité de la conjonction sur la disjonction, quelle expression obtient-on ?

(R∧S)∧(R∧T)(R \land S) \land (R \land T)
(R∧S)∨(R∧T)(R \land S) \lor (R \land T)
R∧S∨TR \land S \lor T
(R∨S)∧(R∨T)(R \lor S) \land (R \lor T)

$$(R \land S) \lor (R \land T)$$

Explication

La conjonction se distribue sur la disjonction en donnant une disjonction de conjonctions : R∧(S∨T)≡(R∧S)∨(R∧T)R \land (S \lor T) \equiv (R \land S) \lor (R \land T). La forme avec deux disjonctions applique la distributivité inverse, tandis que les autres expressions ne distribuent pas correctement le connecteur.

8. Lorsqu’on demande de distribuer un connecteur dans une formule avant de la simplifier, quelle démarche faut-il suivre ?

Effectuer la distribution demandée, puis appliquer les équivalences logiques pertinentes
Effectuer la distribution demandée, puis garder la formule sans la simplifier
Distribuer le connecteur opposé, puis conserver la formule obtenue
Appliquer d’abord les équivalences, puis décider si une distribution est utile

Effectuer la distribution demandée, puis appliquer les équivalences logiques pertinentes

Explication

La démarche consiste à effectuer d’abord la distribution du connecteur demandé, puis à simplifier au moyen des équivalences logiques applicables. Simplifier avant cette étape inverse l’ordre demandé, et distribuer l’autre connecteur ne respecte pas la consigne.

Révisez avec les flashcards

Mémorisez les réponses avec 15 flashcards sur Logique propositionnelle.

Quand la disjonction a∨ba \lor b est-elle vraie ?

Dès qu’au moins une des deux propositions est vraie.

Quand la disjonction a∨ba \lor b est-elle fausse ?

Uniquement lorsque les deux propositions sont fausses.

Quand la conjonction a∧ba \land b est-elle vraie ?

Uniquement lorsque les deux propositions sont vraies.

Voir les flashcards →

Approfondir avec la fiche

Consultez la fiche de révision complète sur Logique propositionnelle.

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