Formula

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A finite syntactic expression in a formal language built from symbols, logical connectives, quantifiers, predicate or function symbols, variables, and parentheses according to the formation rules of that language.