Logique mathématique et raisonnement

1. Notions de base

En mathématiques, on utilise souvent des ensembles pour modéliser des collections d'objets. Voici quelques notions fondamentales :

• Appartenance : Un élément \(x\) appartient à un ensemble \(A\) si \(x \in A\).
• Inclusion : Un ensemble \(A\) est inclus dans un ensemble \(B\) (noté \(A \subseteq B\)) si tout élément de \(A\) appartient à \(B\).
• Intersection : L'intersection de deux ensembles \(A\) et \(B\), notée \(A \cap B\), est l'ensemble des éléments appartenant à la fois à \(A\) et à \(B\).
• Complémentaire : Le complémentaire d’un ensemble \(A\), noté \(A^c\) ou \(A'\), est l’ensemble des éléments qui ne sont pas dans \(A\), par rapport à un univers donné \(U\).

2. Notation et propriétés

Pour un univers \(U\), on considère des ensembles \(A, B, C \subseteq U\).

Appartenance :

Si \(x \in A\), on écrit \(x \in A\). Sinon, \(x otin A\).

Inclusion :

On dit que \(A \subseteq B\) si tout élément de \(A\) appartient à \(B\). Cela implique que :
\[A \subseteq B \quad \Leftrightarrow \quad orall x, \, (x \in A \Rightarrow x \in B)\]

Intersection :

L’intersection est définie par :
\[A \cap B = \{ x \mid x \in A ext{ et } x \in B \}\]

Complémentaire :

Le complémentaire de \(A\) par rapport à \(U\) est :
\[A^c = U \setminus A = \{ x \in U \mid x otin A \}\]

3. Propriétés importantes

• La relation d’inclusion est réflexive : \(A \subseteq A\).
• Elle est antisymétrique : si \(A \subseteq B\) et \(B \subseteq A\), alors \(A = B\).
• Transitive : si \(A \subseteq B\) et \(B \subseteq C\), alors \(A \subseteq C\).
• La loi de l’absorption : \
  • \(A \cup (A \cap B) = A\)
  • \(A \cap (A \cup B) = A\)
• L’intersection et l’union sont associatives, commutatives et distributives :

\[A \cup B = B \cup A,\] \[A \cap B = B \cap A,\] \[A \cup (B \cup C) = (A \cup B) \cup C,\] \[A \cap (B \cap C) = (A \cap B) \cap C,\] \[A \cap (B \cup C) = (A \cap B) \cup (A \cap C),\] \[A \cup (B \cap C) = (A \cup B) \cap (A \cup C)\]

4. Exemple simple

Soit l’univers \(U = \{1, 2, 3, 4, 5\}\), et les ensembles \(A = \{1, 2, 3\}\) et \(B = \{3, 4, 5\}\).

• \(A \subseteq U\) et \(B \subseteq U\).
• \(A \cap B = \{3\}\).
• \(A \cup B = \{1, 2, 3, 4, 5\}\).
• \(A^c = \{4, 5\}\), \(B^c = \{1, 2\}\).

Ces notions sont essentielles pour structurer et raisonnement logique en mathématiques.