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