Bound occurrence


De DataFranca

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.


Source : Utexas Ai vocabulary

Contributeurs : admin