Logique des propositions/Implication

Notion d'implication

Définitions

Modèle:Définition 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

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

« $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

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

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

Méthode

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.