Longueur de Formule

Le nombre total de symboles ou de tokens dans une formule selon une convention de tokenisation donnée ; une mesure de taille syntaxique élémentaire qui compte les connecteurs logiques, les quantificateurs, les symboles de prédicat et de fonction, les variables, les parenthèses et parfois la ponctuation.