QCM : Introduction à la logique mathématique — 9 questions

Questions et réponses du QCM

1. Quel est le principe fondamental de l'assertion en logique mathématique ?

Une assertion peut être ni vraie ni fausse.
Une assertion doit toujours être vraie.
Une assertion peut être vraie ou fausse, mais pas les deux simultanément.
Une assertion doit toujours être fausse.

Une assertion peut être vraie ou fausse, mais pas les deux simultanément.

Explication

En logique, le principe du tiers exclu stipule qu'une assertion est soit vraie, soit fausse, sans possibilité d'être indéterminée ou les deux en même temps.

2. Quelle est la propriété principale de l assertion en logique mathématique?

C'est une proposition qui peut être vraie ou fausse.
C'est une équation mathématique complexe.
Ce sont des règles de déduction.
Ce sont des démonstrations utilisées en logique.

C'est une proposition qui peut être vraie ou fausse.

Explication

L'assertion est une proposition simple qui a une valeur de vérité vraie ou fausse, ce qui est essentiel en logique mathématique.

3. Quelle loi de De Morgan permet de négocier la conjonction ?

(P ∧ Q) ⇔ (Q ∧ P)
(P ∨ Q) ⇔ (Q ∨ P)
¬(P ∧ Q) ⇔ ¬P ∨ ¬Q
¬(P ∨ Q) ⇔ ¬P ∧ ¬Q

¬(P ∧ Q) ⇔ ¬P ∨ ¬Q

Explication

La loi de De Morgan pour la négation d'une conjonction est ¬(P ∧ Q) ⇔ ¬P ∨ ¬Q, ce qui permet de transformer la négation d'une 'et' en une 'ou' négative.

4. Selon la fiche, qui est l'auteur associé à la formulation des lois de De Morgan?

George Boole.
Augustus De Morgan.
Gottlob Frege.
Leon Chwikel.

Augustus De Morgan.

Explication

Les lois de De Morgan portent le nom d'Augustus De Morgan, qui a formulé ces lois fondamentales sur la négation des connecteurs logiques.

5. Quel est le rôle du quantificateur universel (∀) en logique ?

Il indique que la propriété est fausse pour tous les éléments.
Il indique qu'il existe au moins un élément pour lequel la propriété est vraie.
Il indique qu'il existe un seul élément pour lequel la propriété est vraie.
Il indique que la propriété est vraie pour tous les éléments d'un ensemble.

Il indique que la propriété est vraie pour tous les éléments d'un ensemble.

Explication

Le quantificateur universel (∀) affirme que la propriété P(x) est vraie pour tous les éléments x d'un ensemble donné, ce qui est essentiel pour formuler des assertions générales en logique.

6. Quelle est la définition correcte du quantificateur existentiel "∃" en logique?

Il indique qu'il existe au moins un élément qui vérifie la propriété P.
Il signifie que pour tout x, P(x) est vraie.
Il indique qu'il n'existe aucun élément vérifiant P.
Il exprime qu'il existe un seul x vérifiant P.

Il indique qu'il existe au moins un élément qui vérifie la propriété P.

Explication

Le quantificateur existentiel "∃" signifie qu'il existe au moins un élément x pour lequel la propriété P(x) est vraie, ce qui est crucial pour formuler des existentialités.

7. Quel connecteur logique est faux si P est vrai et Q est faux?

L'implication P ⇒ Q.
La conjonction P ∧ Q.
La disjonction P ∨ Q.
L'équivalence P ⇔ Q.

L'implication P ⇒ Q.

Explication

L'implication P ⇒ Q est fausse uniquement si P est vrai et Q est faux, ce qui illustre sa fonction en logique propositionnelle.

8. Quelle règle de logique permet de transformer la négation d’un connecteur en une formule équivalente?

Les lois de De Morgan.
Le principe du tiers exclu.
Le modus ponens.
L'axiome de l'égalité.

Les lois de De Morgan.

Explication

Les lois de De Morgan permettent de transformer la négation de connecteurs comme ∧ et ∨ en une formule équivalente en utilisant la négation appliquée à chaque opérande.

9. Quelle est la caractéristique du raisonnement par contraposée?

Il montre que (P ⇒ Q) est équivalent à (¬Q ⇒ ¬P).
Il utilise la preuve par contradiction uniquement.
Il ne concerne que les quantificateurs universels.
Il consiste à décomposer une implication en deux implications distinctes.

Il montre que (P ⇒ Q) est équivalent à (¬Q ⇒ ¬P).

Explication

Le raisonnement par contraposée repose sur l'équivalence entre (P ⇒ Q) et (¬Q ⇒ ¬P), permettant de prouver une implication en prouvant sa contraposée.

Révisez avec les flashcards

Mémorisez les réponses avec 10 flashcards sur Introduction à la logique mathématique.

Assertion — principe ?

Vraie ou fausse, pas les deux

Assertion — définition?

Proposition vraie ou fausse.

Négation ¬P — valeur ?

Inverse la valeur de P

Voir les flashcards →

Approfondir avec la fiche

Consultez la fiche de révision complète sur Introduction à la logique mathématique.

Voir la fiche →

Cours similaires

Anthropologie de la maladie et de la santé

Programme seconde et début première

Enseignement du vocabulaire primaire

Techniques de pose du système de drainage

Introduction au Contrôle et Usage des Armes

Gestion de la Sécurité Sociale et Carte Vitale

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