Tout ce qui concerne l'opération d'implication logique, c'est-à-dire une opération binaire entre deux valeurs de vérité A et B en mathématiques est désignée par une flèche `a -> b` (a implique d'être exprimée en termes d'opérations logiques de base comme étant `pas un ou b`.