QCM : Logique, ensembles et applications — 11 questions

Questions et réponses du QCM

1. Laquelle des descriptions caractérise correctement une assertion ?

Une proposition dont la vérité dépend d’un ensemble de référence
Une règle admise vraie avant toute démonstration formelle
Une expression contenant des variables encore dépourvues de valeurs précises
Un énoncé dont la valeur de vérité peut être déterminée sans ambiguïté

Un énoncé dont la valeur de vérité peut être déterminée sans ambiguïté

Explication

Une assertion est un énoncé auquel on peut attribuer sans ambiguïté la valeur vrai ou faux. Une expression avec des variables non instanciées correspond plutôt à un prédicat, tandis qu’une règle admise a priori est un axiome.

2. Pourquoi l’expression « x>3x > 3 » est-elle un prédicat plutôt qu’une assertion lorsqu’aucune valeur de xx n’est indiquée ?

Elle est vraie parce qu’elle décrit une comparaison numérique valide
Elle est déjà fausse puisque la valeur de la variable manque
Sa valeur de vérité dépend encore de l’instanciation de la variable
Elle constitue un axiome dont la vérité est admise par définition

Sa valeur de vérité dépend encore de l’instanciation de la variable

Explication

L’expression devient vraie ou fausse après remplacement de xx par un élément de l’ensemble considéré. Avant cette instanciation, elle ne possède pas encore une valeur de vérité déterminée, contrairement à une assertion.

3. Dans quel cas l’implication P⇒QP \Rightarrow Q est-elle fausse ?

Lorsque PP et QQ sont toutes deux vraies
Lorsque PP et QQ sont toutes deux fausses
Lorsque PP est fausse et QQ est vraie
Lorsque PP est vraie et QQ est fausse

Lorsque $$P$$ est vraie et $$Q$$ est fausse

Explication

L’implication est fausse dans le seul cas où l’antécédent PP est vrai alors que le conséquent QQ est faux. Dans les trois autres combinaisons de valeurs de vérité, elle est vraie.

4. Pour quelles valeurs de vérité la disjonction inclusive de PP et QQ est-elle vraie ?

Lorsque PP et QQ sont toutes deux vraies
Lorsque PP est vraie et QQ est fausse
Dès qu’au moins l’une de PP ou QQ est vraie
Lorsque PP et QQ sont toutes deux fausses

Dès qu’au moins l’une de $$P$$ ou $$Q$$ est vraie

Explication

La disjonction inclusive est vraie si PP est vraie, si QQ est vraie, ou si les deux le sont. Elle se distingue ainsi de la conjonction, qui exige que les deux assertions soient vraies.

5. Que signifie un quantificateur universel ∀x∈E\forall x \in E dans une proposition logique ?

Il indique qu'il existe au moins un élément x dans E pour lequel P(x) est vraie.
Il indique que la propriété P(x) est vraie pour tous les éléments x de l'ensemble E.
Il nie que P(x) soit vraie pour tous les éléments x de E.
Il affirme que P(x) est vraie pour un seul élément x dans E.

Il indique que la propriété P(x) est vraie pour tous les éléments x de l'ensemble E.

Explication

Le quantificateur universel ∀x∈E\forall x \in E affirme que la propriété P(x) est vraie pour chaque élément x de l'ensemble E. La négation de cette assertion serait qu'il existe au moins un x pour lequel P(x) n'est pas vraie, ce qui correspond au quantificateur existentiel.

6. Selon le contenu, quelle affirmation précise est correcte concernant la négation du quantificateur universel ∀x P(x)\forall x \, P(x) ?

Elle est toujours vraie si P(x)P(x) est fausse pour au moins un élément.
Elle implique que P(x)P(x) est fausse pour tous les éléments de l'ensemble.
Elle devient ∴ ¬∀x P(x) est eˊquivalent aˋ ∴ hereexists x tel que ¬P(x)\therefore \, \neg \forall x \, P(x) \text{ est équivalent à } \therefore \, here exists \, x \, \text{tel que} \, \neg P(x).
Elle ne concerne que les propositions avec un seul quantificateur.

Elle devient $$\therefore \, \neg \forall x \, P(x) \text{ est équivalent à } \therefore \, here exists \, x \, \text{tel que} \, \neg P(x)$$.

Explication

La négation du quantificateur universel ∀x P(x)\forall x \, P(x) est équivalente à l'existence d'au moins un élément xx pour lequel P(x)P(x) est fausse. La réponse correcte reflète cette relation logique, contrairement aux autres propositions qui sont incorrectes ou incomplètes.

7. Quel est le rôle principal d'une fonction dans une relation entre deux ensembles ?

Créer une correspondance biunivoque entre deux ensembles.
Associer à chaque élément de l'ensemble d'arrivée un seul élément de l'ensemble de départ.
Permettre la comparaison directe entre deux éléments de différents ensembles.
Associer à chaque élément de l'ensemble de départ un seul élément de l'ensemble d'arrivée.

Associer à chaque élément de l'ensemble de départ un seul élément de l'ensemble d'arrivée.

Explication

Une fonction associe à chaque élément de l'ensemble de départ au plus un élément de l'ensemble d'arrivée, ce qui définit son rôle principal. La réponse concernant une correspondance biunivoque concerne la bijection, pas la fonction en général.

8. En quoi l'intersection et la réunion d'ensembles diffèrent-elles dans leur définition et leur rôle en théorie des ensembles?

L'intersection contient les éléments communs à deux ensembles, tandis que la réunion rassemble tous les éléments de ces ensembles.
L'intersection rassemble tous les éléments de deux ensembles, alors que la réunion ne contient que ceux communs.
L'intersection et la réunion sont deux noms pour la même opération en théorie des ensembles.
L'intersection est l'ensemble des éléments qui ne sont dans aucun des deux ensembles, tandis que la réunion contient tous les éléments.

L'intersection contient les éléments communs à deux ensembles, tandis que la réunion rassemble tous les éléments de ces ensembles.

Explication

L'intersection regroupe les éléments présents dans tous les ensembles considérés, alors que la réunion rassemble tous les éléments appartenant à au moins un des ensembles. La différence réside donc dans leur définition et leur rôle.

9. Quelles sont les conséquences principales de la relation d’équivalence sur la classification des éléments d’un ensemble ?

Elle permet de regrouper les éléments en classes d’équivalence.
Elle définit une relation d’ordre partiel sans regroupement.
Elle établit un ordre total entre tous les éléments.
Elle crée une hiérarchie d’objets selon leur taille.

Elle permet de regrouper les éléments en classes d’équivalence.

Explication

Une relation d’équivalence divise l’ensemble en classes d’équivalence, regroupant les éléments qui lui sont liés. Contrairement à un ordre, elle ne compare pas mais regroupe.

10. Comment peut-on appliquer la notion de fonction pour modéliser une relation entre deux ensembles dans un contexte pratique ?

Une fonction sert uniquement à décrire des relations mathématiques abstraites sans application concrète.
Une fonction peut représenter une règle qui associe à chaque élément d’un ensemble de départ un seul élément d’un ensemble d’arrivée, comme par exemple attribuer une note à chaque étudiant.
Une fonction ne peut pas être utilisée pour modéliser des relations entre ensembles dans la vie réelle.
Une fonction permet de relier deux ensembles sans restriction sur le nombre d’images associées à chaque élément.

Une fonction peut représenter une règle qui associe à chaque élément d’un ensemble de départ un seul élément d’un ensemble d’arrivée, comme par exemple attribuer une note à chaque étudiant.

Explication

Une fonction modélise une relation où chaque élément de l’ensemble de départ est associé à un seul élément de l’ensemble d’arrivée, ce qui est utile dans des applications comme l’attribution de notes ou la conversion d’unités. La réponse incorrecte suggère une relation sans restriction, ce qui correspond à une relation générale mais pas à une fonction.

11. Quelle propriété caractéristique définit une fonction bijective entre deux ensembles ?

Elle est réflexive et transitive.
Elle est uniquement surjective.
Elle est uniquement injective.
Elle est à la fois injective et surjective.

Elle est à la fois injective et surjective.

Explication

Une fonction bijective possède à la fois la propriété d'être injective (un seul antécédent par image) et surjective (chaque élément de l'ensemble d'arrivée a un antécédent). La combinaison de ces deux propriétés permet l'existence d'une application inverse.

Révisez avec les flashcards

Mémorisez les réponses avec 10 flashcards sur Logique, ensembles et applications.

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

Un énoncé dont on peut dire sans ambiguïté s’il est vrai ou faux.

Quand un prédicat devient-il une assertion ?

Lorsqu’on remplace ses variables par des éléments d’un ensemble donné.

Quand l'implication de P vers Q est-elle fausse ?

Lorsque P est vraie et Q est fausse.

Voir les flashcards →

Approfondir avec la fiche

Consultez la fiche de révision complète sur Logique, ensembles et applications.

Voir la fiche →

Cours similaires

Radioactivité et réactions nucléaires

Physique

Fonctions polynômes du second degré

Mathématiques

Techniques d’études de biologie cellulaire

Naissance des sciences de l’éducation

Transformations acidobasiques aqueuses

Chimie

Ondes mécaniques progressives

Physique

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