Cuenta de Variables
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
El número de variables distintas que aparecen en una fórmula o teoría, donde 'distintas' se refiere a símbolos de variable sintácticamente diferentes; se usa como una métrica simple de complejidad sintáctica y demanda de recursos.