QCM : Logique des propositions (11 questions)

Question 1

1. Dans un exercice de logique, laquelle des phrases suivantes peut être une proposition logique par sa forme ?

Pourvu que le laboratoire ferme à dix-huit heures !

Fermez le laboratoire à dix-huit heures.

Le laboratoire ferme à dix-huit heures.

Le laboratoire ferme-t-il à dix-huit heures ?

Explication

Une proposition logique est une phrase affirmative ou négative qui donne une information. Une question, un ordre et un souhait ne sont pas des phrases informatives de cette forme.

Answer

Le laboratoire ferme à dix-huit heures.

Question 2

2. Un élève affirme qu’une proposition peut être vraie et fausse simultanément. Quel principe logique cette affirmation contredit-elle ?

La définition d’une proposition logique

Le codage de la valeur fausse par zéro

Le principe de non-contradiction

Le principe du tiers exclu

Explication

Le principe de non-contradiction interdit qu’une proposition soit à la fois vraie et fausse. Le tiers exclu garantit qu’elle est vraie ou fausse, sans exprimer cette interdiction de simultanéité.

Answer

Le principe de non-contradiction

Question 3

3. On assemble les propositions « Le train arrive » et « Le quai est libre » à l’aide du connecteur « et ». Comment appelle-t-on la proposition obtenue ?

Une proposition simple

Un connecteur logique

Une table de vérité

Une proposition complexe

Explication

Une proposition complexe est formée en assemblant des propositions simples au moyen d’un connecteur logique. Une proposition simple n’est pas obtenue par cet assemblage, et une table de vérité sert à étudier les valeurs possibles.

Answer

Une proposition complexe

Question 4

4. Une expression logique contient trois propositions simples. Combien de combinaisons de valeurs de vérité faut-il examiner ?

Six combinaisons

Neuf combinaisons

Trois combinaisons

Huit combinaisons

Explication

Pour $n$ propositions simples, le nombre de combinaisons est $2^n$ ; avec trois propositions, $2^3=8$ . Trois oublie l’exponentiation, neuf ajoute une combinaison, et six multiplie simplement par deux.

Answer

Huit combinaisons

Question 5

5. Que signifie la disjonction exclusive de deux propositions ?

Elle est vraie lorsque les deux propositions ont des valeurs de vérité différentes.

Elle prend la valeur contraire à celle de chacune des deux propositions.

Elle est vraie lorsque les deux propositions sont vraies simultanément.

Elle est vraie lorsqu’au moins une des deux propositions est vraie, même si les deux le sont.

Explication

La disjonction exclusive, ou XOR, est vraie lorsqu'exactement une des deux propositions est vraie. La disjonction inclusive, contrairement au XOR, reste vraie lorsque les deux propositions sont vraies.

Answer

Elle est vraie lorsque les deux propositions ont des valeurs de vérité différentes.

Question 6

6. Dans une implication « si a, alors b », dans quel cas l’implication est-elle fausse ?

Lorsqu'a est fausse et b est vraie

Lorsqu'a est vraie et b est fausse

Lorsqu'a et b sont toutes deux vraies

Lorsqu'a et b sont toutes deux fausses

Explication

Une implication est fausse dans le seul cas où son antécédent est vrai et son conséquent est faux. Lorsqu'a est fausse et b vraie, l’implication est vraie.

Answer

Lorsqu'a est vraie et b est fausse

Question 7

7. Quel rôle joue une table de vérité lorsqu’on cherche à établir l’équivalence logique de deux propositions ?

Elle transforme les deux propositions en une implication à sens unique.

Elle permet de comparer leurs valeurs de vérité pour toutes les combinaisons possibles.

Elle indique laquelle des deux propositions est vraie dans la réalité.

Elle détermine le sens causal reliant les deux propositions.

Explication

Une table de vérité permet de vérifier si deux propositions ont la même valeur pour chaque combinaison de valeurs de vérité. Une implication à sens unique ne suffit pas à établir une équivalence, qui correspond à une implication dans les deux sens.

Answer

Elle permet de comparer leurs valeurs de vérité pour toutes les combinaisons possibles.

Question 8

8. En quoi la négation d’une conjonction diffère-t-elle de la négation d’une disjonction selon les lois de De Morgan ?

La première devient une disjonction sans nier les propositions, tandis que la seconde devient une conjonction sans nier les propositions.

La première devient une disjonction de propositions niées, tandis que la seconde devient une conjonction de propositions niées.

La première devient une conjonction de propositions niées, tandis que la seconde devient une disjonction de propositions niées.

La première conserve la conjonction en niant une seule proposition, tandis que la seconde conserve la disjonction en niant une seule proposition.

Explication

Les lois de De Morgan échangent « et » et « ou » sous la négation, tout en niant chacune des propositions. Par exemple, nier une disjonction donne une conjonction de propositions niées, et non une disjonction conservée.

Answer

La première devient une disjonction de propositions niées, tandis que la seconde devient une conjonction de propositions niées.

Question 9

9. Si une implication $a \Rightarrow b$ est vraie, quelle conséquence logique peut-on en tirer à propos de sa contraposée ?

La contraposée

\neg b \Rightarrow \neg a

possède la même valeur logique que l’implication.

La négation de l’implication

\neg a \Rightarrow \neg b

est nécessairement vraie.

L’implication inverse

b \Rightarrow \neg a

est nécessairement vraie.

La réciproque

b \Rightarrow a

possède nécessairement la même valeur logique que l’implication.

Explication

Une implication et sa contraposée ont toujours la même valeur logique ; ainsi, si $a \Rightarrow b$ est vraie, $\neg b \Rightarrow \neg a$ l’est aussi. En revanche, la réciproque $b \Rightarrow a$ n’est pas nécessairement vraie.

Answer

La contraposée $$\neg b \Rightarrow \neg a$$ possède la même valeur logique que l’implication.

Question 10

10. Pour réfuter l’affirmation « Tous les nombres de cet ensemble sont pairs », que doit-on établir ?

Que la plupart des nombres de l’ensemble sont pairs.

Que tous les nombres de l’ensemble sont impairs.

Qu’au moins un nombre de l’ensemble n’est pas pair.

Qu’il existe un nombre pair dans l’ensemble.

Explication

La négation d’une affirmation universelle est établie dès qu’on trouve un élément qui ne possède pas la propriété annoncée. Montrer qu’il existe un nombre pair ne suffit pas à réfuter l’affirmation, car d’autres nombres peuvent ne pas être pairs.

Answer

Qu’au moins un nombre de l’ensemble n’est pas pair.

Question 11

11. Quelle propriété caractérise les valeurs de vérité attribuées aux propositions en logique classique ?

Chaque proposition est vraie ou fausse, avec 1 pour le vrai et 0 pour le faux.

Une proposition peut être vraie et fausse simultanément si son contenu est contradictoire.

Seules les propositions dont le contenu est vérifiable reçoivent une valeur de vérité.

Chaque proposition reçoit une valeur graduée entre le vrai et le faux, codée de 0 à 1.

Explication

En logique classique, le tiers exclu impose qu’une proposition soit vraie ou fausse, et ces valeurs sont représentées respectivement par 1 et 0. L’idée d’une valeur graduée entre le vrai et le faux ne correspond pas à cette convention.

Answer

Chaque proposition est vraie ou fausse, avec 1 pour le vrai et 0 pour le faux.

QCM : Logique des propositions (11 questions)

Questions et réponses du QCM

1. Dans un exercice de logique, laquelle des phrases suivantes peut être une proposition logique par sa forme ?

2. Un élève affirme qu’une proposition peut être vraie et fausse simultanément. Quel principe logique cette affirmation contredit-elle ?

3. On assemble les propositions « Le train arrive » et « Le quai est libre » à l’aide du connecteur « et ». Comment appelle-t-on la proposition obtenue ?

4. Une expression logique contient trois propositions simples. Combien de combinaisons de valeurs de vérité faut-il examiner ?

5. Que signifie la disjonction exclusive de deux propositions ?

6. Dans une implication « si a, alors b », dans quel cas l’implication est-elle fausse ?

7. Quel rôle joue une table de vérité lorsqu’on cherche à établir l’équivalence logique de deux propositions ?

8. En quoi la négation d’une conjonction diffère-t-elle de la négation d’une disjonction selon les lois de De Morgan ?

9. Si une implication $a \Rightarrow b$ est vraie, quelle conséquence logique peut-on en tirer à propos de sa contraposée ?

10. Pour réfuter l’affirmation « Tous les nombres de cet ensemble sont pairs », que doit-on établir ?

11. Quelle propriété caractérise les valeurs de vérité attribuées aux propositions en logique classique ?

Révisez avec les flashcards

Approfondir avec la fiche

Cours similaires

PCR et hybridation moléculaire

Titrage, pH et conductivité

Informatique et génétique des populations

Dégradation et conservation des aliments

Estimer la biodiversité et les populations

Protéines et lipides

Crée tes propres QCM

QCM : Logique des propositions (11 questions)

Questions et réponses du QCM

1. Dans un exercice de logique, laquelle des phrases suivantes peut être une proposition logique par sa forme ?

2. Un élève affirme qu’une proposition peut être vraie et fausse simultanément. Quel principe logique cette affirmation contredit-elle ?

3. On assemble les propositions « Le train arrive » et « Le quai est libre » à l’aide du connecteur « et ». Comment appelle-t-on la proposition obtenue ?

4. Une expression logique contient trois propositions simples. Combien de combinaisons de valeurs de vérité faut-il examiner ?

5. Que signifie la disjonction exclusive de deux propositions ?

6. Dans une implication « si a, alors b », dans quel cas l’implication est-elle fausse ?

7. Quel rôle joue une table de vérité lorsqu’on cherche à établir l’équivalence logique de deux propositions ?

8. En quoi la négation d’une conjonction diffère-t-elle de la négation d’une disjonction selon les lois de De Morgan ?

9. Si une implication a⇒ba \Rightarrow ba⇒b est vraie, quelle conséquence logique peut-on en tirer à propos de sa contraposée ?

10. Pour réfuter l’affirmation « Tous les nombres de cet ensemble sont pairs », que doit-on établir ?

11. Quelle propriété caractérise les valeurs de vérité attribuées aux propositions en logique classique ?

Révisez avec les flashcards

Approfondir avec la fiche

Cours similaires

PCR et hybridation moléculaire

Titrage, pH et conductivité

Informatique et génétique des populations

Dégradation et conservation des aliments

Estimer la biodiversité et les populations

Protéines et lipides

Crée tes propres QCM

9. Si une implication $a \Rightarrow b$ est vraie, quelle conséquence logique peut-on en tirer à propos de sa contraposée ?