« Recherche:Théorie des matrices logiques/Concept de matrice logique » : différence entre les versions

Contenu supprimé Contenu ajouté
correction erreur
Ligne 22 :
Matrice logique exprimant l'ensemble E:
 
[[File:ConceptdeMatriceLogiquePage2.svg|centernone]]
 
Facultative, l'interface ne fait pas partie de la matrice logique proprement dite. N'intervenant pas dans les calculs, elle n'est soumise à aucune contrainte formelle. Son rôle est d'établir un lien direct entre la matrice logique et une entité extérieure, ici un ensemble de clauses de la logique propositionnelle.
Ligne 30 :
Sur les plans mathématique et informatique (représentation interne), la matrice logique se compose en réalité de deux objets distincts:
 
[[File:ConceptdeMatriceLogiquePage2Image2.svg|centernone]]
 
Aspect logique de la segmentation introduite par les descripteurs:
Ligne 37 :
 
Les éléments de la matrice ne signifient en aucune façon {faux, vrai}.
Les notions de faux et de vrai, l
Les notions de faux et de vrai, lorsqu'elles sont présentes, appartiennent à l'interface. Ci-dessus, elles font office d'en-têtes de colonnes, et sont donc associées à des vecteurs.
 
Les éléments de la matrice, eux, correspondent au couple {fermé, ouvert}.
Analogies: vanne, interrupteur.
 
{| class="wikitable centre"
| bgcolor="#1abdfe" | Dans le champ de la Logique, tout ce qui peut être exprimé au moyen de la TML se réduit en dernière analyse à ces quelques concepts.
|}
 
Remarque: les matrices logiques peuvent comporter plus de deux dimensions.
Ce cas de figure, assez complexe dans son implémentation, est réservé à des
applications très spécifiques et ne sera pas exploré ici.