Page d'accueil	encyclopedie-enligne.com en page d'accueil
Liste Articles: [0-A] [A-C] [C-F] [F-J] [J-M] [M-P] [P-S] [S-Z] | Liste Catégories | Une page au hasard | Pages liées

Implication

L'implication est :

• la conséquence logique d'un fait ;
• une opération logique ;
• le fait pour une personne de s'investir dans une cause ou une action.

Opération logique d'implication

L'implication en tant qu'opération logique se note ⇒. C'est un opérateur booléen qui est défini par une fonction de BxB ⇒ B, avec B = {vrai, faux}.

Exemple

voici un exemple de relation d'implication : « il fait beau » ⇒ « je suis heureux ». Cette proposition est vrai si je suis toujours heureux quand il fait beau.

A ne pas confondre avec la relation d'équivalence qui elle implique que je ne soit heureux QUE lorsqu'il fait beau.

La relation d'implication représente le SI (⇒)
et la relation d'équivalence représente le SI ET SEULEMENT SI (⇔)

voir aussi : Propriété contraposée