« Recherche:Théorie des matrices logiques/Concept de matrice logique » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Changement de type cosmétique |
|||
Ligne 10 :
La formule de [[w:Calcul_des_propositions|logique propositionnelle]]
:
:(¬P1
est en [[w:Forme_normale_conjonctive|forme normale conjonctive]] et peut être plus commodément représentée
|