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

De testwiki
Version datée du 18 février 2025 à 14:42 par imported>Crochet.david.bot (Robot : remplacement de texte automatisé (-\or +\lor))
(diff) ← Version précédente | Version actuelle (diff) | Version suivante → (diff)
Aller à la navigation Aller à la recherche

__EXPECTED_UNCONNECTED_PAGE__ Modèle:Chapitre

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:

𝖯𝖰𝖱𝖲𝖳𝖥𝖵𝖥𝖵𝖥𝖵𝖥𝖵𝖥𝖵⋅ ∙⋅ ∙∙ ⋅⋅ ⋅⋅ ⋅⋅ ∙∙ ⋅∙ ⋅⋅ ⋅⋅ ⋅∙ ⋅⋅ ∙⋅ ∙⋅ ⋅⋅ ⋅∙ ⋅∙ ⋅∙ ⋅⋅ ⋅⋅ ⋅}𝖯⟹𝖰, re´sultat en 𝖱∙ ⋅⋅ ∙⋅ ⋅⋅ ∙⋅ ⋅∙ ⋅∙ ⋅⋅ ⋅∙ ⋅⋅ ⋅⋅ ∙⋅ ∙⋅ ⋅∙ ⋅⋅ ⋅⋅ ∙∙ ⋅⋅ ⋅∙ ⋅⋅ ⋅}¬𝖯∨𝖰, re´sultat en 𝖲⋅ ⋅⋅ ⋅⋅ ∙⋅ ∙∙ ⋅⋅ ⋅⋅ ⋅⋅ ∙∙ ⋅⋅ ∙⋅ ⋅⋅ ⋅∙ ⋅⋅ ∙⋅ ∙⋅ ⋅⋅ ⋅∙ ⋅∙ ⋅∙ ⋅}𝖱⟺𝖲, re´sultat en 𝖳

Projection 1 de la table:

Valeurs prises par les variables𝖯:𝖥𝖥𝖥𝖥𝖥𝖥𝖥𝖥𝖥𝖥𝖥𝖥𝖥𝖥𝖥𝖥𝖵𝖵𝖵𝖵𝖵𝖵𝖵𝖵𝖵𝖵𝖵𝖵𝖵𝖵𝖵𝖵𝖰:𝖥𝖥𝖥𝖥𝖥𝖥𝖥𝖥𝖵𝖵𝖵𝖵𝖵𝖵𝖵𝖵𝖥𝖥𝖥𝖥𝖥𝖥𝖥𝖥𝖵𝖵𝖵𝖵𝖵𝖵𝖵𝖵𝖱:𝖥𝖥𝖥𝖥𝖵𝖵𝖵𝖵𝖥𝖥𝖥𝖥𝖵𝖵𝖵𝖵𝖥𝖥𝖥𝖥𝖵𝖵𝖵𝖵𝖥𝖥𝖥𝖥𝖵𝖵𝖵𝖵𝖲:𝖥𝖥𝖵𝖵𝖥𝖥𝖵𝖵𝖥𝖥𝖵𝖵𝖥𝖥𝖵𝖵𝖥𝖥𝖵𝖵𝖥𝖥𝖵𝖵𝖥𝖥𝖵𝖵𝖥𝖥𝖵𝖵𝖳:𝖥𝖵𝖥𝖵𝖥𝖵𝖥𝖵𝖥𝖵𝖥𝖵𝖥𝖵𝖥𝖵𝖥𝖵𝖥𝖵𝖥𝖵𝖥𝖵𝖥𝖵𝖥𝖵𝖥𝖵𝖵𝖵(𝖳 = formule dans son ensemble)∙∙∙∙∙∙∙⋅∙∙∙∙∙∙∙⋅∙⋅∙∙∙∙∙∙∙∙∙∙∙∙∙⋅projection 1
Les 1 de la projection définissent la table de vérité de la formule.
𝖯:𝖥𝖥𝖵𝖵𝖰:𝖥𝖵𝖥𝖵𝖳:𝖵𝖵𝖵𝖵(table de ve´rite´ 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:

 𝖯 𝖰 𝖱 𝖲 𝖳  𝖥𝖨𝖵  𝖥𝖨𝖵  𝖥𝖨𝖵  𝖥𝖨𝖵  𝖥𝖨𝖵⋅ ∙ ∙⋅ ∙ ∙∙ ∙ ⋅⋅ ⋅ ⋅⋅ ⋅ ⋅⋅ ∙ ∙∙ ⋅ ∙∙ ∙ ⋅⋅ ⋅ ⋅⋅ ⋅ ⋅⋅ ∙ ∙∙ ∙ ⋅∙ ∙ ⋅⋅ ⋅ ⋅⋅ ⋅ ⋅∙ ⋅ ∙⋅ ∙ ∙∙ ⋅ ∙⋅ ⋅ ⋅⋅ ⋅ ⋅∙ ⋅ ∙∙ ⋅ ∙∙ ∙ ⋅⋅ ⋅ ⋅⋅ ⋅ ⋅∙ ⋅ ∙∙ ∙ ⋅∙ ∙ ⋅⋅ ⋅ ⋅⋅ ⋅ ⋅∙ ∙ ⋅⋅ ∙ ∙⋅ ∙ ∙⋅ ⋅ ⋅⋅ ⋅ ⋅∙ ∙ ⋅∙ ⋅ ∙∙ ⋅ ∙⋅ ⋅ ⋅⋅ ⋅ ⋅∙ ∙ ⋅∙ ∙ ⋅∙ ∙ ⋅⋅ ⋅ ⋅⋅ ⋅ ⋅}𝖯⟹𝖰, re´sultat en 𝖱∙ ∙ ⋅⋅ ∙ ∙⋅ ⋅ ⋅⋅ ∙ ∙⋅ ⋅ ⋅∙ ∙ ⋅∙ ⋅ ∙⋅ ⋅ ⋅∙ ⋅ ∙⋅ ⋅ ⋅∙ ∙ ⋅∙ ∙ ⋅⋅ ⋅ ⋅∙ ∙ ⋅⋅ ⋅ ⋅∙ ⋅ ∙⋅ ∙ ∙⋅ ⋅ ⋅∙ ⋅ ∙⋅ ⋅ ⋅∙ ⋅ ∙∙ ⋅ ∙⋅ ⋅ ⋅∙ ⋅ ∙⋅ ⋅ ⋅∙ ⋅ ∙∙ ∙ ⋅⋅ ⋅ ⋅∙ ∙ ⋅⋅ ⋅ ⋅⋅ ∙ ∙⋅ ∙ ∙⋅ ⋅ ⋅∙ ∙ ⋅⋅ ⋅ ⋅⋅ ∙ ∙∙ ⋅ ∙⋅ ⋅ ⋅∙ ∙ ⋅⋅ ⋅ ⋅⋅ ∙ ∙∙ ∙ ⋅⋅ ⋅ ⋅∙ ∙ ⋅⋅ ⋅ ⋅}¬𝖯∨𝖰, re´sultat en 𝖲⋅ ⋅ ⋅⋅ ⋅ ⋅⋅ ∙ ∙⋅ ∙ ∙∙ ∙ ⋅⋅ ⋅ ⋅⋅ ⋅ ⋅⋅ ∙ ∙∙ ⋅ ∙∙ ⋅ ∙⋅ ⋅ ⋅⋅ ⋅ ⋅⋅ ∙ ∙∙ ∙ ⋅⋅ ∙ ∙⋅ ⋅ ⋅⋅ ⋅ ⋅∙ ⋅ ∙⋅ ∙ ∙∙ ⋅ ∙⋅ ⋅ ⋅⋅ ⋅ ⋅∙ ⋅ ∙∙ ⋅ ∙∙ ∙ ⋅⋅ ⋅ ⋅⋅ ⋅ ⋅∙ ⋅ ∙∙ ∙ ⋅∙ ⋅ ∙⋅ ⋅ ⋅⋅ ⋅ ⋅∙ ∙ ⋅⋅ ∙ ∙⋅ ∙ ∙⋅ ⋅ ⋅⋅ ⋅ ⋅∙ ∙ ⋅∙ ⋅ ∙∙ ⋅ ∙⋅ ⋅ ⋅⋅ ⋅ ⋅∙ ∙ ⋅∙ ∙ ⋅∙ ∙ ⋅}𝖱⟺𝖲, re´sultat en 𝖳

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

𝖯:𝖥 𝖥 𝖥  𝖨  𝖨  𝖨 𝖵𝖵𝖵𝖰:𝖥  𝖨 𝖵𝖥  𝖨 𝖵𝖥  𝖨 𝖵𝖳:𝖵𝖵𝖵𝖵 𝖨 𝖵𝖵𝖵𝖵(table de ve´rite´ 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.

Modèle:Bas de page

Récupérée de "https://fr.wikiversity.beta.math.wmflabs.org/w/index.php?title=Recherche:Théorie_des_matrices_logiques/Application:_simulation_de_logiques_multivalentes&oldid=1716"