★ À maîtriser
📌 Un prédicat est un énoncé contenant une ou plusieurs variables qui devient une assertion lorsqu’on remplace ces variables par des éléments d’un ensemble donné.
Compléments
Assertion = vrai ou faux ; prédicat = variable à instancier
Le quantificateur universel ∀x∈E signifie que la propriété P(x) est vraie pour tout élément x de E.
Le quantificateur existentiel ∃x∈E signifie qu’il existe au moins un élément x de E pour lequel P(x) est vraie.
📌 L’ordre de plusieurs quantificateurs peut changer le sens d’une proposition, car ∀x∃y P(x,y) n’est pas synonyme de ∃y∀x P(x,y).
📌 La négation de ∀x∈E, P(x) est ∃x∈E, non P(x), tandis que la négation de ∃x∈E, P(x) est ∀x∈E, non P(x).
∀ signifie tous, ∃ signifie au moins un, ∃! signifie un seul
★ À maîtriser
Une démonstration par récurrence vérifie d’abord l’initialisation de P(n), puis démontre l’hérédité P(n) implique P(n+1).
Un raisonnement par contre-exemple réfute une proposition universelle en exhibant un élément qui ne vérifie pas la propriété annoncée.
Un raisonnement par l’absurde suppose la négation de la proposition et en déduit une contradiction.
Compléments
Hypothèse, contre-exemple, contraposée, cas par cas, absurde, récurrence
Des ensembles comme des régions qui se croisent, s’unissent ou se complètent
📌 Un ordre total permet de comparer tous les couples d’éléments, tandis qu’un ordre partiel ne permet pas nécessairement de comparer chaque paire.
Équivalence regroupe ; ordre compare
📌 Pour une application f, l’image directe de A est l’ensemble f(A)={f(x) : x∈A}, tandis que l’image réciproque de B est f^{-1}(B)={x : f(x)∈B}.
Une fonction associe au plus une image ; une application associe exactement une image
📌 Une application bijective admet une application inverse qui permet de revenir de l’ensemble d’arrivée vers l’ensemble de départ.
Injective : au plus un antécédent ; surjective : au moins un ; bijective : exactement un
📌 La composition de deux applications injectives est injective, et la composition de deux applications surjectives est surjective.
Composer puis inverser : l’inverse n’existe que pour une bijection
Types de relations
| Relation | Propriétés | Rôle |
|---|---|---|
| Équivalence | Réflexive, symétrique, transitive | Regrouper en classes |
| Ordre | Réflexive, antisymétrique, transitive | Comparer les éléments |
Teste tes connaissances sur Logique, ensembles et applications avec 11 questions à choix multiples et corrections détaillées.
1. Laquelle des descriptions caractérise correctement une assertion ?
2. Pourquoi l’expression « » est-elle un prédicat plutôt qu’une assertion lorsqu’aucune valeur de n’est indiquée ?
Mémorisez les concepts clés de Logique, ensembles et applications avec 10 flashcards interactives.
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.
Importe ton cours et l'IA génère fiches, QCM et flashcards en 30 secondes.
Générateur de fiches