closed formula en · NOUN
Meanings
- A formula which has no free occurrences of variables; or equivalently, in which all occurrences of variables are bound.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| closed formulas | Number=Plur | lexicographic | |
| closed formulae | Number=Plur | lexicographic |