Formula Length

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The total count of symbols or tokens in a formula according to a chosen tokenization convention; a basic syntactic size measure that counts logical connectives, quantifiers, predicate and function symbols, variables, parentheses and sometimes punctuation.