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

Le raisonnement logique s'appuie sur les notions d'implication, d'équivalence et sur l'usage des contre-exemples pour tester la validité d'un raisonnement.

Objectifs

Comprendre ce qu'est une implication logique et comment elle se teste.
Savoir reconnaître et écrire une équivalence entre propositions.
Apprendre à construire et interpréter des contre-exemples pour vérifier des propositions.
Utiliser des raisonnement étape par étape et vérifier la cohérence des conclusions.

Notions clés

Implication

Notion : l’implication se lit « si P alors Q » et s’écrit en logique propositionnelle \(p \Rightarrow q\).

Formulation équivalente : \(p \Rightarrow q \equiv \lnot p \lor q\).

Table de vérité (résumé) : dans une phrase, on retient que l’implication est vraie sauf lorsque P est vrai et Q est faux.

Fonctionnement en pratique : lorsque vous déduisez une conséquence à partir d’une hypothèse, vous utilisez l’implication pour guider le raisonnement.

Équivalence

L’équivalence entre P et Q se note \(p \Leftrightarrow q\) et signifie que P et Q sont vrais ou faux ensemble.

Écriture équivalente : \(p \Leftrightarrow q \equiv (p \Rightarrow q) \land (q \Rightarrow p)\).

Contre-exemples

Pour réfuter une proposition universelle, on cherche un contre-exemple: une valeur de vérité où la proposition échoue.

Exemple : si P est « x est pair » et Q est « x est impair », alors P ⇔ Q est faux et P ⇒ Q est faux lorsque x = 2.

Cartes mémoire

Implication

Définition: \(p \Rightarrow q\) est vrai sauf \(p\) vrai et \(q\) faux.

Équivalence

Définition: \(p \Leftrightarrow q\) est vrai quand P et Q ont la même valeur.

Contre-exemple

Contrôle: un seul exemple suffit pour infirmer une proposition générale.

Exemples résolus

Exemple 1 : Vérification de l’implication

Considérons P: « x est pair » et Q: « x est divisible par 4 ». On vérifie l’implication \(p \Rightarrow q\) et on observe la vérité des cas.

Étape 1 : rappeler la définition. \(p \Rightarrow q \equiv \lnot p \lor q\).

Étape 2 : si P est vrai et Q est faux, alors l’implication est fausse.

Étape 3 : si P est faux, l’implication est vraie quel que soit Q.

Voir la solution

Cas de vérité de l’implication \(p \Rightarrow q\) : (T,T) vrai, (T,F) faux, (F,T) vrai, (F,F) vrai. Donc \(p \Rightarrow q \equiv \lnot p \lor q\).

Conclusion : \(p \Rightarrow q\) est équivalent à \(\lnot p \lor q\).

Question : Quelle est la valeur de vérité de \(p \Rightarrow q\) lorsque p est vrai et q est faux ?

Vrai
Faux
Indéterminé

Réponse: Faux, car P vrai et Q faux rend l’implication fausse.

Raisonnement pas à pas

Pour tester une proposition plus complexe, on peut écrire les étapes dans une liste alignée:

Étape 1 : posons P et Q et écrivons l’énoncé à démontrer.

Étape 2 : on déduit une chaîne d’implications et/ou d’équivalences.

Étape 3 : on vérifie les cas limites et on conclut.

Schéma explicatif

Schéma simple illustrant l'idée d'implication entre deux propositions.