« 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 14 :
 
Matrice logique exprimant l'ensemble E:
 
'''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.
 
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.
 
Sur les plans mathématique et informatique (représentation interne), la matrice logique se compose en réalité de deux objets distincts: