closed formula
Noun
Meaning
closed formula (plural closed formulas or closed formulae)
(logic) A formula which has no free occurrences of variables; or equivalently, in which all occurrences of variables are bound.
Noun
closed formula (plural closed formulas or closed formulae)
(logic) A formula which has no free occurrences of variables; or equivalently, in which all occurrences of variables are bound.