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