VariousWords beta
Related Terms:
Noun
Definition: A formula which has no free occurrences of variables; or equivalently, in which all occurrences of variables are bound.
VariousWords beta
Definition: A formula which has no free occurrences of variables; or equivalently, in which all occurrences of variables are bound.