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

Contenu supprimé Contenu ajouté
Melanie76 (discussion | contributions)
Melanie76 (discussion | contributions)
Ligne 15 :
Matrice logique exprimant l'ensemble E:
 
[[File:ConceptdeMatriceLogiquePage2.svg|thumb|center]]
 
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.