« Recherche:Théorie des matrices logiques/Concept de matrice logique » : différence entre les versions
Contenu supprimé Contenu ajouté
Ligne 9 :
La formule de [[w:Calcul_des_propositions|logique propositionnelle]]
[[File:ConceptmatricelogiquePage2Ligne1.svg|none]]
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:
[[File:ConceptmatricelogiquePage2Ligne2.svg|none]]
Matrice logique exprimant l'ensemble E:
| |||