« Recherche:Théorie des matrices logiques/Concept de matrice logique » : différence entre les versions
Contenu supprimé Contenu ajouté
Ligne 15 :
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.
|