The term "open formula" can refer to different concepts depending on the context in which it is used: 1. **Mathematics/Logic**: In mathematical logic, an open formula is a predicate that contains free variables. Unlike closed formulas (which are universal statements that can be evaluated as true or false), open formulas depend on the values assigned to their free variables.
New to topics? Read the docs here!