Logique mathématique et raisonnement : Implication, équivalence, contre-exemples

1. Implication

Une implication est une relation entre deux propositions P et Q, notée P ⇒ Q, qui signifie : si P est vraie, alors Q est vraie.

Pour évaluer une implication :

• Elle est fausse uniquement si P est vraie et Q est fausse.
• Dans tous les autres cas, elle est vraie.

2. La table de vérité de l'implication

P	Q	P ⇒ Q
V	V	V
V	F	F
F	V	V
F	F	V

3. Équivalence

Deux propositions P et Q sont équivalentes, noté P ⇔ Q, si elles ont la même valeur de vérité dans tous les cas.

Pour vérifier l'équivalence, on peut utiliser la table de vérité ou simplifier une proposition pour voir si elle revient à l'autre.

Exemple :
P : "Il pleut"
Q : "Il y a des nuages"
Ce sont souvent équivalents, mais pas toujours !

4. Contre-exemples

Un contre-exemple est un exemple qui montre qu'une proposition ou une implication n'est pas toujours vraie.

Pour prouver qu'une assertion est fausse, il suffit de trouver un contre-exemple.

Exemple :
Proposition : "Tous les nombres premiers sont impairs"
Contre-exemple : 2 (qui est premier mais pair)

5. Résumé

• L'implication P ⇒ Q est fausse uniquement si P est vraie et Q fausse.
• L'équivalence P ⇔ Q signifie que P et Q ont toujours la même valeur de vérité.
• Le contre-exemple permet de démontrer qu'une proposition est fausse.