Logique et ensembles – L1 maths

Comment les logique et les ensembles sont appliqués dans tes cours de mathématiques en L1 ?

Introduction à la logique mathématique

La logique mathématique te permet de structurer tes raisonnements de manière rigoureuse. Elle utilise des propositions et des connecteurs logiques pour établir des vérités ou des faussetés. Comprendre ces bases te facilitera l’étude des ensembles et des relations entre eux.

Les propositions et assertions

Une proposition est une phrase qui peut être soit vraie, soit fausse, mais pas les deux. Par exemple, « 2 est un nombre pair » est une assertion vraie.

✅ Exemple : « Le nombre 5 est premier » est une proposition vraie.

Les connecteurs logiques

Les connecteurs logiques relient des propositions pour former des expressions plus complexes. Les principaux connecteurs sont :

• ET (∧)
• OU (∨)
• NON (¬)
• IMPLIQUE (⇒)
• ÉQUIVAUT (⇔)

🔧 Astuces : Utilise des tableaux de vérité pour vérifier la validité des expressions logiques.

La négation

La négation d’une proposition inverse sa valeur logique. Si une proposition est vraie, sa négation est fausse, et inversement.

✅ Exemple : La négation de « Il pleut » est « Il ne pleut pas ».

Les ensembles et leurs opérations

Un ensemble est une collection bien définie d’éléments. Les principales opérations entre ensembles incluent :

• Union (∪)
• Intersection (∩)
• Complémentaire (c)

🔍 Technique : Utilise des diagrammes de Venn pour visualiser les relations entre les ensembles.

Les lois de Morgan

Les lois de Morgan permettent de distribuer la négation sur les opérations d’ensemble. Elles s’énoncent ainsi :

• (A ∩ B)ʹ = Aʹ ∪ Bʹ
• (A ∪ B)ʹ = Aʹ ∩ Bʹ

✅ Exemple : La négation de l’intersection de A et B est égale à l’union des compléments de A et B.

Les applications entre ensembles

Une application est une relation entre deux ensembles où chaque élément du premier ensemble est associé à un élément du deuxième. Par exemple, une fonction f : R → R associe un nombre réel à un autre.

🔧 Astuces : Vérifie si une application est injective, surjective ou bijective pour mieux comprendre ses propriétés.

Raisonnement et démonstration

Le raisonnement te permet de valider des hypothèses ou d’infirmer des propositions à l’aide de démonstrations logiques. Par exemple, pour démontrer que n impair implique n² impair, tu proceeds en partant de la définition des nombres impairs.

✅ Exemple : Supposons que n est impair, alors n = 2k + 1 pour un certain entier k. Ainsi, n² = (2k + 1)² = 4k² + 4k + 1, qui est impair.

Exercices pratiques

Pour renforcer tes connaissances, travaille sur des exercices tels que ceux disponibles sur les exercices de mathématiques. Ils couvrent divers aspects des logique et des ensembles, avec des corrections pour t’aider à progresser.

Analyse des assertions logiques en ensemble

Énoncé de l’exercice

Considérez les assertions suivantes concernant les ensembles et la logique :
1️⃣ Tous les éléments de l’ensemble A sont dans l’ensemble B.
2️⃣ Il existe un élément dans A qui n’appartient pas à B.
3️⃣ L’intersection des ensembles A et B est vide.
🔄 Pensez à utiliser les définitions de base des ensembles pour aborder chaque assertion. 😊
Déterminez si chacune de ces assertions est vraie ou fausse et donnez leur négation. 📝

Instructions

1. 📌 Lire attentivement chaque assertion.
2. 🔍 Analyser la validité de chacune en utilisant les propriétés des ensembles.
3. ✍️ Déterminer si l’assertion est vraie ou fausse.
4. 🧩 Formuler la négation de chaque assertion.
   • Exemple : La négation de « Tous les A sont B » est « Il existe un A qui n’est pas B ».

5. Exemple : La négation de « Tous les A sont B » est « Il existe un A qui n’est pas B ».
6. 💡 Vérifiez vos réponses en revisitant les définitions si nécessaire.

• Exemple : La négation de « Tous les A sont B » est « Il existe un A qui n’est pas B ».

Correction

🔸 Assertion 1 : « Tous les éléments de l’ensemble A sont dans l’ensemble B. »
Analyse : Cette assertion affirme une inclusion totale de A dans B.
Vrai ou Faux : Vrai si A est un sous-ensemble de B, sinon faux.
Négation : « Il existe un élément dans A qui n’appartient pas à B. »

🔸 Assertion 2 : « Il existe un élément dans A qui n’appartient pas à B. »
Analyse : Cette assertion indique l’existence d’au moins un élément exclusif à A.
Vrai ou Faux : Vrai si A n’est pas entièrement contenu dans B, sinon faux.
Négation : « Tous les éléments de A sont dans B. »

🔸 Assertion 3 : « L’intersection des ensembles A et B est vide. »
Analyse : Cela signifie qu’A et B n’ont aucun élément en commun.
Vrai ou Faux : Vrai si A et B sont disjoints, sinon faux.
Négation : « Il existe au moins un élément commun à A et B. »

✅ Réponses finales :

• Assertion 1 : Vraie ou Fausse ; Négation : « Il existe un élément dans A qui n’appartient pas à B. »
• Assertion 2 : Vraie ou Fausse ; Négation : « Tous les éléments de A sont dans B. »
• Assertion 3 : Vraie ou Fausse ; Négation : « Il existe au moins un élément commun à A et B. »

Négation et propriétés des ensembles en logique

Énoncé de l’exercice

Soient A, B et C trois ensembles de l’ensemble universel E. Considérez les assertions suivantes :

• Assertion a : A ⊂ B.
• Assertion b : B ∪ C = E.
• Assertion c : A ∩ C = ∅.

Utilise des opérateurs logiques pour « négativer » chacune de ces assertions. 😊

Instructions

1. 📌 Identifie chaque assertion individuellement.
2. ✍️ Applique la règle de la négation pour chaque type d’affirmation :
   • Pour une inclusion : La négation de A ⊂ B est A n’est pas inclus dans B.
   • Pour une égalité : La négation de B ∪ C = E est B ∪ C ≠ E.
   • Pour une intersection vide : La négation de A ∩ C = ∅ est A ∩ C ≠ ∅.

3. Pour une inclusion : La négation de A ⊂ B est A n’est pas inclus dans B.
4. Pour une égalité : La négation de B ∪ C = E est B ∪ C ≠ E.
5. Pour une intersection vide : La négation de A ∩ C = ∅ est A ∩ C ≠ ∅.
6. 🔍 Réécris chaque négation de manière précise.
7. ✅ Vérifie que chaque négation est correctement formulée.

• Pour une inclusion : La négation de A ⊂ B est A n’est pas inclus dans B.
• Pour une égalité : La négation de B ∪ C = E est B ∪ C ≠ E.
• Pour une intersection vide : La négation de A ∩ C = ∅ est A ∩ C ≠ ∅.

Conseil : Pense aux propriétés des ensembles et aux définitions des opérateurs logiques pour formuler correctement les négations.

Correction

📝 Étape 1 : Analyse de l’assertion a : A ⊂ B.

Raisonnement : L’assertion affirme que A est un sous-ensemble de B. Pour nier cette affirmation, on doit exprimer que A n’est pas entièrement contenu dans B.

Négation : A ⊂ B devient A n’est pas un sous-ensemble de B.

📝 Étape 2 : Analyse de l’assertion b : B ∪ C = E.

Raisonnement : Cette assertion indique que l’union de B et C couvre tout l’ensemble universel E. La négation exprime que cette union ne couvre pas entièrement E.

Négation : B ∪ C = E devient B ∪ C ≠ E.

📝 Étape 3 : Analyse de l’assertion c : A ∩ C = ∅.

Raisonnement : L’assertion stipule que A et C sont disjoints. Nier cette affirmation revient à indiquer que A et C ont au moins un élément en commun.

Négation : A ∩ C = ∅ devient A ∩ C ≠ ∅.

Négation des assertions en logique et ensembles

Énoncé de l’exercice

Soient les assertions suivantes concernant les ensembles A, B et les applications f et g : 🧠 Pense aux propriétés de chaque application.
1. L’application f est bijective.
2. L’ensemble A ∪ B est vide.
3. Pour tout x ∈ A, g(x) appartient à B.

Consigne : Pour chaque assertion ci-dessus, donnez sa négation.

Instructions

1. 👉 Identifiez chaque assertion à nier.
2. 🔍 Appliquez les règles de négation pour les propositions logiques.
   • Par exemple, la négation d’une implication est une affirmation où le premier terme est vrai et le second est faux.

3. Par exemple, la négation d’une implication est une affirmation où le premier terme est vrai et le second est faux.
4. ✍️ Écrivez la négation de chaque assertion clairement.
5. ✅ Vérifiez que la négation respecte bien les propriétés logiques.

• Par exemple, la négation d’une implication est une affirmation où le premier terme est vrai et le second est faux.

Correction

😊 Étape 1 : La première assertion est « L’application f est bijective. » La négation d’une application étant bijective est que f n’est pas bijective.

🔄 Étape 2 : La deuxième assertion est « L’ensemble A ∪ B est vide. » Sa négation est que A ∪ B n’est pas vide.

🔁 Étape 3 : La troisième assertion est « Pour tout x ∈ A, g(x) appartient à B. » La négation est qu’il existe un x ∈ A tel que g(x) n’appartient pas à B.

🔚 Réponses finales :

1. f n’est pas bijective.

2. A ∪ B n’est pas vide.

3. Il existe un x ∈ A tel que g(x) n’appartient pas à B.

Conclusion

Logique et ensembles te permettent de structurer tes raisonnements en mathématiques. En maîtrisant ces concepts, tu seras mieux préparé à aborder des problèmes variés avec confiance.

Continue à pratiquer et à approfondir tes connaissances. Si tu souhaites un accompagnement personnalisé, explore nos cours particuliers.