Formula
Formula is a every expression defined by the syntactic rules of propositional logic and predicate logic in a finite number of steps.
Link
Utrecht Lexicon of Linguistics
References
- Gamut, L.T.F. 1991. Logic, language, and meaning, Univ. of Chicago Press, Chicago.