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.
Значення
значень: 1A formula which has no free occurrences of variables; or equivalently, in which all occurrences of variables are bound.
Форми
множина: closed formulas / closed formulae| Однина | closed formula |
|---|---|
| Множина | closed formulas / closed formulae |
правильне
Синоніми
синонімів: 1ground formula
Уроки до слова
уроків: 1- A1Множина іменників — Бо у нього неправильна множина