Recherche:Théorie des matrices logiques/Application: simulation de logiques multivalentes

Début de la boite de navigation du chapitre
Application: simulation de logiques multivalentes
Icône de la faculté
Chapitre no 10
Recherche : Théorie des matrices logiques
Chap. préc. :Application: simplification d'un circuit logique
Chap. suiv. :Forme canonique
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, « Théorie des matrices logiques : Application: simulation de logiques multivalentes
Théorie des matrices logiques/Application: simulation de logiques multivalentes
 », n'a pu être restituée correctement ci-dessus.

La formule de logique propositionnelle

n'est pas en forme normale conjonctive.

Pour la transcrire telle quelle dans une matrice logique, il faut tout d’abord la décomposer en sous-formules et associer des variables auxiliaires à ces sous-formules:

La variable auxiliaire T représente la formule dans son ensemble.

La méthode de transcription ressemble à celle qui a déjà été utilisée pour les portes logiques: deux variables d'entrée, une variable de sortie. Exemple, clé de transcription de la disjonction:

La négation de P s'opère par permutation
des deux vecteurs verticaux correspondants.
Une variante de cette clé, simplifiée par fusion, figurait dans la matrice du circuit logique traité précédemment (porte OR).

Matrice logique de la formule:

Projection 1 de la table:

Les 1 de la projection définissent la table de vérité de la formule.
La table de vérité ne contient que des V: la formule est une tautologie.
équivaut à .
Remarque: la projection 1 est une matrice logique, et le pavé 'Valeurs prises par les variables', son interface. La table de vérité de la formule se lit dans l'interface, selon les indications de la projection. En apparence unis par leur caractère binaire, les éléments {F, V} de la table de vérité et les éléments {fermé, ouvert} de la projection ne sont pas de même nature.
La table de vérité de la formule est étrangère à la TML, comme l'est, par définition, l'interface. Le fait d'exprimer la table de vérité sous forme booléenne 1111 n'y changerait rien.


La logique trivalente de Łukasiewicz, ou Ł3, est syntaxiquement identique à la logique propositionnelle (la formule évoquée plus haut ne change pas) mais s'en écarte sur le plan sémantique en faisant intervenir une nouvelle valeur, située entre le faux et le vrai:

{F, I, V}, avec I pour 'indéterminé' ou, plus précisément, 'inconnaissable'.

Clé de transcription de la disjonction:

La négation de P s'opère par permutation
des deux vecteurs extrèmes dans la bande
verticale correspondante, le vecteur
central formant pivot (ce qui est
indéterminé reste indéterminé).

Matrice logique de la formule:

La projection 1 de la table comporte 243 éléments. Ses 1 définissent la table de vérité trivalente de la formule:

La table de vérité ne contient pas uniquement des V.
Dans la logique Ł3, n'équivaut pas à .

La logique trivalente de Kleene, K3, produirait la table de vérité VVVIIVVIV.