Logique ternaire

Cet article est une ébauche concernant les mathématiques et la logique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Cet article ne cite pas suffisamment ses sources (février 2017).

Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».

En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?

Ne doit pas être confondu avec sortie à trois états.

La logique ternaire, ou logique 3 états (parfois abrégée 3VL), également appelé logique trinaire , trivalente , ou triléenne ) (en anglais three-valued logic, trinary logic, trivalent, ternary, or trilean^[1]), est une branche du calcul des propositions qui étend l'algèbre de Boole, en considérant, en plus des états VRAI (en anglais TRUE→ T), et FAUX (en anglais FALSE→ F), l'état INCONNU (en anglais UNKNOW→ U). Cela la différencie des logiques bivalentes plus connues (telles que la logique classique ou la logique booléenne ) qui ne fournissent que vrai et faux.

Emil Leon Post est reconnu pour avoir introduit pour la première fois des degrés de vérité logique supplémentaires dans sa théorie des propositions élémentaires de 1921 ^[2]. La forme conceptuelle et les idées de base de la logique à trois valeurs ont été initialement publiées par Jan Łukasiewicz et Clarence Irving Lewis . Celles-ci ont ensuite été reformulées par Grigore Moisil sous une forme algébrique axiomatique, et également étendues à la logique à n valeurs en 1945.