Definitions from Wiktionary (closed formula)
▸ noun: (logic) A formula which has no free occurrences of variables; or equivalently, in which all occurrences of variables are bound.
▸ Words similar to closed formula
▸ Usage examples for closed formula
▸ Idioms related to closed formula
▸ Wikipedia articles (New!)
▸ Words that often appear near closed formula
▸ Rhymes of closed formula
▸ Invented words related to closed formula
▸ noun: (logic) A formula which has no free occurrences of variables; or equivalently, in which all occurrences of variables are bound.
Similar:
sentence,
context,
atomic formula,
closed form,
prime formula,
free variable,
combinator,
well-formed formula,
propositional constant,
schema,
more...
Opposite:
▸ Words similar to closed formula
▸ Usage examples for closed formula
▸ Idioms related to closed formula
▸ Wikipedia articles (New!)
▸ Words that often appear near closed formula
▸ Rhymes of closed formula
▸ Invented words related to closed formula