closed formula
Jump to navigation
Jump to search
English
[edit]Noun
[edit]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.