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
Contributeurs: Claire Gorjux, Imane Meziani, wiki
