« Recherche:Théorie des matrices logiques/Concept de matrice logique » : différence entre les versions
Contenu supprimé Contenu ajouté
Aucun résumé des modifications |
|||
Ligne 10 :
La formule de [[w:Calcul_des_propositions|logique propositionnelle]]
:
:(¬P1 ∨ ¬P3 ∨ P4)
est en [[w:Forme_normale_conjonctive|forme normale conjonctive]] et peut être plus commodément représentée
Ligne 37 :
Les éléments de la matrice ne signifient en aucune façon {faux, vrai}.
Les notions de faux et de vrai, lorsqu'elles sont présentes, appartiennent à l'interface. Ci-dessus, elles font office d'en-têtes de colonnes, et sont donc associées à des vecteurs.
Les éléments de la matrice, eux, correspondent au couple {fermé, ouvert}. Analogie: interrupteur.
{| class="wikitable centre"
| bgcolor="#1abdfe" | Dans le champ de la Logique, tout ce qui peut être exprimé au moyen de la TML se réduit en dernière analyse à ces quelques concepts.
|}
Remarque: les matrices logiques peuvent comporter plus de deux dimensions.
Ce cas de figure, assez complexe dans son implémentation, est réservé à des
applications très spécifiques et ne sera pas exploré ici.
| |||