Search the lexicon

Found:

formula

SEMANTICS: every expression defined by the syntactic rules of propositional logic and predicate logic in a finite number of steps.
LIT. Gamut, L.T.F. (1991)