Recherche:Théorie des matrices logiques/Sous-structures d'une matrice logique

**Sous-structures d'une matrice logique**
Recherche : Théorie des matrices logiques

Chapitre n^o 5
Chap. préc. :	Table d'une matrice logique
Chap. suiv. :	Choix d'un invariant

En raison de limitations techniques, la typographie souhaitable du titre, « Théorie des matrices logiques : Sous-structures d'une matrice logique
Théorie des matrices logiques/Sous-structures d'une matrice logique », n'a pu être restituée correctement ci-dessus.

Les sous-structures d'une matrice logique sont elles-mêmes des matrices logiques.

Extraites de leur matrice d'origine et rendues autonomes elle possèdent donc une table calculée, comme précédemment, par multiplication récursive:

Quant à la cellule, elle est identique à sa table (un seul segment dans chaque axe, aucune multiplication à effectuer).

Théorie des matrices logiques

Table d'une matrice logique

Choix d'un invariant