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

Une page de Wikiversité.
Sauter à la navigation Sauter à la recherche
Début de la boite de navigation du chapitre
Sous-structures d'une matrice logique
Icône de la faculté
Chapitre no 5
Recherche : Théorie des matrices logiques
Chap. préc. :Table d'une matrice logique
Chap. suiv. :Choix d'un invariant
fin de la boite de navigation du chapitre
Icon falscher Titel.svg
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:

Sous-structured'1matricelogiquePage9.svg

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