closed formula
closed formula · closed formulas · closed formulae
A formula which has no free occurrences of variablesA formula which has no free occurrences of variables; or equivalently, in which all occurrences of variables are bound.
Meaning
1 sensesA formula which has no free occurrences of variables; or equivalently, in which all occurrences of variables are bound.
Forms
plural: closed formulas / closed formulae| Singular | closed formula |
|---|---|
| Plural | closed formulas / closed formulae |
regular
Synonyms
1 synonymsground formula
Lessons for this word
1 lessons- A1Plural nouns — Because its plural is irregular