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

Contenu supprimé Contenu ajouté
maintenance
m Robot : Remplacement de texte automatisé (- d'établir + d’établir )
Ligne 23 :
[[Fichier:ConceptdeMatriceLogiquePage2.svg|none]]
 
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'établird’établir un lien direct entre la matrice logique et une entité extérieure, ici un ensemble de clauses de la logique propositionnelle.
 
Par ailleurs, la matrice logique affichée ci-dessus adopte une forme synthétique et visuellement améliorée (espacements, nombres remplacés par des caractères spéciaux) qui facilite sa lecture.