Matrice

Révision datée du 7 avril 2021 à 14:56 par ClaireGorjux (discussion | contributions)

(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

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

Source : UTexas Artificial Intelligence Vocabulary

Source : TERMIUM Plus

Récupérée de « https://datafranca.org/wiki/index.php?title=Matrice&oldid=49908 »

Catégories :

Contributeurs: Claire Gorjux, Imane Meziani, wiki