Logique et Raisonnement : Connecteurs Logiques

Introduction

Les connecteurs logiques permettent de relier des propositions pour former des énoncés plus complexes. Ils sont essentiels en mathématiques pour analyser et construire des raisonnements précis.

Les connecteurs logiques principaux

1. La conjonction : et

Représentée par ∧, la conjonction entre deux propositions P et Q est vraie uniquement si P et Q sont toutes les deux vraies.

Exemple :
P : « Il pleut »
Q : « Il fait froid »
P ∧ Q : « Il pleut et il fait froid »
Ce énoncé est vrai seulement si il pleut et il fait froid.

2. La disjonction : ou

Représentée par ∨, la disjonction entre P et Q est vraie si au moins l’un des deux est vrai.

Exemple :
P : « Je mange une pomme »
Q : « Je mange une banane »
P ∨ Q : « Je mange une pomme ou une banane »
Ce énoncé est faux seulement si je ne mange ni pomme ni banane.

3. L'implication : si… alors

Représentée par ⇒, l’implication P ⇒ Q signifie que si P est vrai, alors Q l’est aussi.

Exemple :
P : « Il pleut »
Q : « Le sol est mouillé »
P ⇒ Q : « Si il pleut, alors le sol est mouillé »
>Attention : si P est faux, l’implication est toujours considérée comme vraie.

4. La contraposée

C’est une transformation de l’implication. La contraposée de P ⇒ Q est non Q ⇒ non P.

Exemple :
P : « Il pleut »
Q : « Le sol est mouillé »
Contraposée : « Si le sol n’est pas mouillé, alors il ne pleut pas »
Elle est logiquement équivalente à l’implication initiale.

Conclusion

Les connecteurs logiques permettent d’établir des relations précises entre propositions. Leur maîtrise est essentielle pour la compréhension et la démonstration en mathématiques.