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

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.