Found:

formula

SEMANTICS: every expression defined by the syntactic rules of propositional logic and predicate logic in a finite number of steps.