Implication logique
L'implication de Q par P est la proposition (¬P) ∨ Q, notée « P ⇒ Q » ou « P implique Q » qui est fausse seulement si la proposition P est vraie et la proposition Q est fausse. L'implication est vraie dans tous les autres cas.
Symbole
Le symbole de l'implication logique est « P ⇒ Q » qui se lit « P implique Q ».En d'autres mots, P ⇒ Q signifie que la conditionnelle P → Q est toujours vraie.
Propriété
La table de vérité de l'implication logique est la suivante :| P | Q | P ⇒ Q |
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 1 |
| 0 | 0 | 1 |