Matrice
en construction
Définition
En logique propositionnelle, formule ne comportant pas de quantification.
Français
matrice
Anglais
matrix
the quantifier-free portion of a predicate calculus formula that has all the quantifiers at the front
![](/wiki/annonces/DF annonce FB.jpg)
Contributeurs: Claire Gorjux, Imane Meziani, wiki