« Variable libre » : différence entre les versions
(Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence artificielle Catégorie:UTexas == Définition == xxxxxxx == Français == xx... ») Balise : Éditeur de wikicode 2017 |
(Aucune différence)
|
Version du 14 septembre 2019 à 22:08
en construction
Définition
xxxxxxx
Français
xxxxxxx
Anglais
bound occurrence
in a predicate calculus formula, an occurrence of a variable within the scope of a quantifier ( &forall or &exist ) of that variable.
Contributeurs: Imane Meziani, wiki
