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

 

'''image à insérer'''

 

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.

 

{| class="wikitable centre"

|}