Vecteurs de Vérité à coordonnées binaires. Ne nous limitons pas au vrai et au faux, il existe d'autres cas.

L'informatique quantique connaît un essor spectaculaire, nourrie par l'émergence d'ordinateurs quantiques dont les performances défient l'imagination. L'incertitude règne en maître dans ce domaine, la probabilité qu'un énoncé soit vrai ou faux nécessite d'en mesurer le résultat un grand nombre de fois, et la mesure nous ramène à la logique connue composée de 0 et de 1. Cependant la coexistence du vrai et du faux dans un bit quantique avant sa mesure nous parle, elle rend compte de situations où on ne peut pas trancher entre deux possibilités.
Nous sommes tous confrontés au dilemme, à l'indécidable, et la logique binaire ne nous fournit pas de solution pour nommer et utiliser ces zones grises. Le concept de logique tétravalente a déjà été décrit, encore faut-il une boîte à outils pour s'en servir. Il est proposé ici une construction originale de quatre états logiques manipulables avec des moyens connus, et une première exploration des possibilités de cette approche.