closed formula

== English == === 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. ==== Synonyms ==== ground formula