Found:

Formula

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