« Matrice » : différence entre les versions


Aucun résumé des modifications
Aucun résumé des modifications
Ligne 10 : Ligne 10 :
== Anglais ==
== Anglais ==
'''matrix'''
'''matrix'''
the quantifier-free portion of a predicate calculus formula that has all the quantifiers at the front





Version du 7 avril 2021 à 13:59

en construction

Définition

En logique propositionnelle, formule ne comportant pas de quantification.

Français

matrice

Anglais

matrix


Source : UTexas Artificial Intelligence Vocabulary

Source : TERMIUM Plus

Contributeurs: Claire Gorjux, Imane Meziani, wiki