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

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

A. Une assertion peut être ni vraie ni fausse.

B. Une assertion doit toujours être vraie.

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

D. Une assertion doit toujours être fausse.

Answer: (C)

Explanation

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?

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

B. C'est une équation mathématique complexe.

C. Ce sont des règles de déduction.

D. Ce sont des démonstrations utilisées en logique.

Answer: (A)

Explanation

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 ?

A. (P ∧ Q) ⇔ (Q ∧ P)

B. (P ∨ Q) ⇔ (Q ∨ P)

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

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

Answer: (C)

Explanation

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?

A. George Boole.

B. Augustus De Morgan.

C. Gottlob Frege.

D. Leon Chwikel.

Answer: (B)

Explanation

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 ?

A. Il indique que la propriété est fausse pour tous les éléments.

B. Il indique qu'il existe au moins un élément pour lequel la propriété est vraie.

C. Il indique qu'il existe un seul élément pour lequel la propriété est vraie.

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

Answer: (D)

Explanation

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?

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

B. Il signifie que pour tout x, P(x) est vraie.

C. Il indique qu'il n'existe aucun élément vérifiant P.

D. Il exprime qu'il existe un seul x vérifiant P.

Answer: (A)

Explanation

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?

A. L'implication P ⇒ Q.

B. La conjonction P ∧ Q.

C. La disjonction P ∨ Q.

D. L'équivalence P ⇔ Q.

Answer: (A)

Explanation

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?

A. Les lois de De Morgan.

B. Le principe du tiers exclu.

C. Le modus ponens.

D. L'axiome de l'égalité.

Answer: (A)

Explanation

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?

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

B. Il utilise la preuve par contradiction uniquement.

C. Il ne concerne que les quantificateurs universels.

D. Il consiste à décomposer une implication en deux implications distinctes.

Answer: (A)

Explanation

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.