QCM : Éléments de logique mathématique — 10 questions

Questions et réponses du QCM

1. Combien de parties le programme de MOMI comprend-il, et quel ensemble les décrit correctement ?

Sept parties : logique, ensembles, applications, relations d’ordre, récurrence, arithmétique dans Z et polynômes
Huit parties : logique, ensembles, applications, fonctions, relations d’ordre, récurrence, arithmétique dans Z et polynômes
Six parties : logique, ensembles, applications, relations d’ordre, arithmétique dans Z et polynômes
Sept parties : logique, probabilités, applications, relations d’ordre, récurrence, arithmétique dans Z et géométrie

Sept parties : logique, ensembles, applications, relations d’ordre, récurrence, arithmétique dans Z et polynômes

Explication

Le programme comporte sept parties, incluant les éléments de logique, les ensembles, les applications, les relations d’ordre, la récurrence, l’arithmétique dans Z\mathbb{Z} et les polynômes. Les autres choix modifient le nombre de parties ou remplacent un thème par un contenu qui ne figure pas dans ce programme.

2. Un étudiant obtient EX1=12EX1=12 et DS=16DS=16 ; quelle note de première session lui est attribuée ?

12
16
13
14

14

Explication

La note vaut max⁡(12,12+162)=max⁡(12,14)=14\max\left(12,\frac{12+16}{2}\right)=\max(12,14)=14. Prendre directement EX1EX1 ignore l’amélioration permise par la moyenne avec le devoir surveillé, tandis que 13 ou 16 ne correspondent pas à la formule.

3. Laquelle des expressions suivantes est une proposition au sens logique ?

Calculer la valeur de x+3x+3.
Déterminer si x2≥0x^2\geq 0.
Le nombre 7 est impair.
Quel nombre réel choisir ?

Le nombre 7 est impair.

Explication

« Le nombre 7 est impair » est un énoncé auquel on peut attribuer une valeur de vérité, ici Vrai. Les autres expressions demandent un calcul ou dépendent d’une variable non précisée, de sorte qu’elles ne constituent pas des propositions évaluables telles quelles.

4. Si une proposition PP est fausse, quelle est la valeur de vérité de sa négation ¬P\lnot P ?

Elle n’a pas de valeur de vérité.
Elle est fausse.
Elle est vraie.
Elle est vraie seulement lorsque PP est une expression algébrique.

Elle est vraie.

Explication

La négation inverse la valeur de vérité de la proposition : lorsque PP est fausse, ¬P\lnot P est vraie. Elle conserve donc une valeur de vérité, contrairement à une expression non évaluable, et son fonctionnement ne dépend pas du domaine algébrique.

5. Qu'est-ce qu'une proposition en logique ?

Une affirmation qui est toujours vraie dans tous les contextes.
Une phrase qui ne peut ni être vraie ni fausse.
Une déclaration dont on peut déterminer la valeur de vérité comme vraie ou fausse.
Une question posée pour obtenir une réponse précise.

Une déclaration dont on peut déterminer la valeur de vérité comme vraie ou fausse.

Explication

Une proposition est un énoncé dont la valeur de vérité peut être déterminée comme étant vraie ou fausse. La réponse incorrecte suggère une affirmation qui n'est pas une proposition ou qui n'a pas de valeur de vérité définie.

6. Quel symbole est utilisé pour noter la négation d'une proposition P en logique ?

¬P
¬(P)
P¬
~P

¬P

Explication

La négation d'une proposition P se note ¬P, ce qui indique que la proposition est inversée en termes de valeur de vérité. La notation ¬ est la convention standard en logique formelle.

7. Quel est le rôle principal des connecteurs logiques fondamentaux en logique propositionnelle ?

Ils servent à nier une proposition en inversant sa valeur de vérité.
Ils sont utilisés uniquement pour exprimer des implications entre propositions.
Ils permettent de combiner deux propositions pour former une nouvelle proposition dont la valeur de vérité dépend de celles des propositions initiales.
Ils indiquent que deux propositions sont équivalentes en valeur de vérité.

Ils permettent de combiner deux propositions pour former une nouvelle proposition dont la valeur de vérité dépend de celles des propositions initiales.

Explication

Les connecteurs logiques fondamentaux permettent de combiner deux propositions pour créer une nouvelle proposition dont la valeur de vérité dépend de celles des propositions initiales. La négation, par exemple, inverse simplement la valeur de vérité d'une proposition, ce qui n'est pas leur rôle principal.

8. À quelle étape du processus logique doit-on démontrer que P implique Q pour établir leur équivalence ?

Il faut démontrer que Q ⇒ P uniquement.
Il suffit de montrer que P ⇒ Q uniquement.
Il faut prouver que P ⇒ Q et Q ⇒ P simultanément.
Il est nécessaire de vérifier que P et Q ont la même valeur de vérité dans tous les cas.

Il faut prouver que P ⇒ Q et Q ⇒ P simultanément.

Explication

Pour établir que P ⇔ Q est vraie, il faut démontrer à la fois P ⇒ Q et Q ⇒ P. La seule option qui couvre cette double implication est la démonstration simultanée des deux.

9. En quoi la loi de la contraposée diffère-t-elle de l'implication directe en logique propositionnelle ?

La loi de la contraposée est une règle de déduction pour prouver P ⇒ Q, alors que l'implication directe ne permet pas de preuve.
La loi de la contraposée concerne uniquement la disjonction, alors que l'implication directe concerne la conjonction.
La loi de la contraposée affirme que P ⇒ Q est équivalent à (non Q) ⇒ (non P), tandis que l'implication directe ne considère que P ⇒ Q.
La loi de la contraposée concerne la négation de P et Q, alors que l'implication directe ne concerne que leur relation.

La loi de la contraposée affirme que P ⇒ Q est équivalent à (non Q) ⇒ (non P), tandis que l'implication directe ne considère que P ⇒ Q.

Explication

La loi de la contraposée montre que P ⇒ Q est logiquement équivalent à (non Q) ⇒ (non P), ce qui permet de prouver une implication en prouvant sa contraposée. Contrairement à cela, l'implication directe consiste à supposer P vraie pour déduire Q, sans nécessairement utiliser la contraposée.

10. Quelle est la conséquence logique de démontrer la contraposée d'une implication P ⇒ Q ?

Cela établit que l'implication P ⇒ Q est vraie si et seulement si sa contraposée (non Q) ⇒ (non P) est vraie.
Cela indique que P ⇒ Q est fausse si la contraposée (non Q) ⇒ (non P) est fausse.
Cela montre que P et Q ont la même valeur de vérité sans avoir besoin de démontrer P ⇒ Q directement.
Cela permet de prouver directement P ⇒ Q en utilisant la négation de Q et P.

Cela établit que l'implication P ⇒ Q est vraie si et seulement si sa contraposée (non Q) ⇒ (non P) est vraie.

Explication

Démontrer la contraposée (non Q) ⇒ (non P) permet de prouver l'implication P ⇒ Q, car ces deux propositions sont logiquement équivalentes. La démonstration par contraposée est une technique efficace pour établir la vérité d'une implication.

Révisez avec les flashcards

Mémorisez les réponses avec 11 flashcards sur Éléments de logique mathématique.

Combien de parties comprend le programme de MOMI ?

Le programme comprend sept parties.

Quelle est la formule de la note de première session en MOMI ?

La note est max⁡(EX1,EX1+DS2)\max\left(EX1,\frac{EX1+DS}{2}\right).

Qu'est-ce qu'une proposition en logique ?

Un énoncé dont on peut affirmer s'il est vrai ou faux.

Voir les flashcards →

Approfondir avec la fiche

Consultez la fiche de révision complète sur Éléments de logique mathématique.

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