L'implication

Définition

p implique q a la même valeur de vérité que : p ou q.


Table de vérité

p q p p⇒q
1 1 0 1
1 0 0 0
0 1 1 1
0 0 1 1

Remarque

    la proposition p ⇒ q est fausse dans le seul cas où p est vraie et q fausse.


Exemple :

Si c'est un triangle alors il a trois côtés.