On note P ⇒ Q (et on lit P implique Q) la proposition qui prend les même valeurs de vérité que la proposition ¬P ∨ Q.
— (27/10/2014), http://fr.openclassrooms.com/sciences/cours/introduction-a-la-logique-mathematique