Logique et raisonnement : Connecteurs logiques

Introduction

Les connecteurs logiques permettent de relier des propositions afin de former des raisonnements plus complexes. Ils sont essentiels pour exprimer des relations logiques en mathématiques et en raisonnement.

Les principaux connecteurs logiques

1. Le connecteur et (« conjunction »)

Il relie deux propositions A et B et forme une nouvelle proposition que l’on note généralement \(A \wedge B\).

La proposition \(A \wedge B\) est vraie si et seulement si les deux propositions A et B sont vraies.

Exemple : "Il pleut et il fait chaud" \( (A \wedge B) \).

2. Le connecteur ou (« disjonction »)

Il relie deux propositions A et B et forme une nouvelle proposition notée \(A ee B\).

La proposition \(A ee B\) est vraie si au moins une des deux propositions est vraie.

Exemple : "Il pleut ou il neige" \( (A ee B) \).

3. L'implication (« si... alors »)

On note cette implication \(A \Rightarrow B\).

Elle signifie que si A est vraie, alors B est aussi vraie. La seule situation où l’implication est fausse, c’est lorsque A est vraie et B est fausse.

Exemple : "Si il pleut (A), alors le sol est mouillé (B)" \( (A \Rightarrow B) \).

4. La contraposée

La contraposée d’une implication \(A \Rightarrow B\) est \( eg B \Rightarrow eg A \), où \( eg\) signifie la négation.

Elle est logiquement équivalente à l'implication initiale, c’est-à-dire qu’elle a la même valeur de vérité.

Exemple : La contraposée de "Si il pleut, le sol est mouillé" est "Si le sol n’est pas mouillé, alors il ne pleut pas".

Schéma récapitulatif

• et : \(A \wedge B\) — vrai si A et B sont vrais
• ou : \(A ee B\) — vrai si A ou B est vrai
• implication : \(A \Rightarrow B\) — vrai sauf si A est vrai et B est faux
• contraposée : \( eg B \Rightarrow eg A \) — équivalente à l’implication

Conclusion

Les connecteurs logiques facilitent la modélisation et l’analyse des raisonnements. Leur compréhension permet d’établir des démonstrations et de raisonner de manière claire en mathématiques.