« Recherche:Théorie des matrices logiques/Concept de matrice logique » : différence entre les versions
Contenu supprimé Contenu ajouté
Ligne 8 :
== Concept de matrice logique ==
La formule de [[w:Calcul_des_propositions|logique propositionnelle]]
:
:(¬P1 v ¬P3 v P4) & (P1 v P2) & (P1 v ¬P2 v P3 v P4) & (¬P3 v ¬P4)
est en [[w:Forme_normale_conjonctive|forme normale conjonctive]] et peut être plus commodément représentée
sous la forme d'un ensemble de [[w:Clause_(logique)|clauses]] E:
:
:{¬P1, ¬P3, P4}<br>
Ligne 33 :
Aspect logique de la segmentation introduite par les descripteurs:
* Les sous-structures internes au segment (ici des VECTEURS) sont implicitement en [[w:Disjonction_logique|disjonction]]. Analogie: montage en parallèle.
* Les sous-structures segmentaires (ici des ensembles de vecteurs, ou BANDES) sont implicitement en [[w:Conjonction_logique|conjonction]]. Analogie: montage en série.
Les éléments de la matrice ne signifient en aucune façon {faux, vrai}.
| |||