« 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|
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|
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
|