Longitud de Fórmula

El conteo total de símbolos o tokens en una fórmula según una convención de tokenización elegida; una medida sintáctica básica que contabiliza conectivos lógicos, cuantificadores, símbolos de predicado y función, variables, paréntesis y a veces signos de puntuación.