Logique des propositions/Implication

**Implication**
Leçon : Logique des propositions

Chapitre n^o 5
Chap. préc. :	Validité
Chap. suiv. :	Équivalence

En raison de limitations techniques, la typographie souhaitable du titre, « Logique des propositions : Implication
Logique des propositions/Implication », n'a pu être restituée correctement ci-dessus.

Notion d'implication[modifier | modifier le wikicode]

Définitions[modifier | modifier le wikicode]

Définition 1

On dit qu'une proposition A implique une proposition B si et seulement si chaque fois qu'A est vraie alors B est vraie elle aussi.

Dire qu'A implique B revient à affirmer la validité du conditionnel $A\to B$ .

Remarque : La réciproque n’est pas vraie. Ce n’est pas parce qu'A implique B que B implique A.

Notations[modifier | modifier le wikicode]

L'implication se note « $\models$ ».

On note « A est valide » de cette façon : « $\models A$ ».

On note « A implique B » de cette façon : « $A\models B$ » ou « $\models A\to B$ ».

Il est déconseillé d'employer le symbole « $\Rightarrow$ » pour ne pas mélanger à la notation mathématique.

Signification[modifier | modifier le wikicode]

« $A\models B$ » veut dire « Si A est vrai, B est vrai ».

Par contre, si A est faux on ne sait rien sur B.

Point important[modifier | modifier le wikicode]

Conditionnel : niveau de la langue du système formel.

Implication : niveau de la META-LANGUE (discours sur le discours).

Méthode[modifier | modifier le wikicode]

Pour prouver $A\models B$ , il suffit de créer le conditionnel $A\to B$ et de le prouver grâce à une analyse sémantique.

Exemple

Soient A la proposition correspondant à $a\land b$ et B la proposition correspondant à $a\lor b$ .
Pour prouver que $A\models B$ on doit prouver la validité de $A\to B$ .