Es el número de conectivas binarias en una fórmula molecular sin negaciones ni abreviaciones del cálculo de orden cero, donde "log(
x)" es el mayor entero menor al
logaritmo común de
x y
g(
h) es el
número de Gödel de la fórmula
h.
Es el número de conectivas binarias en una fórmula... con únicamente variables cuantificadas del cálculo de primer orden sin símbolos funcionales, donde
r(
xi) es el número de veces que se repite la
i-variable
x que pertenece al conjunto de variables cuantificadas
x1…
xn de
h.
Es el número de conectivas binarias en una fórmula... con máximo
n variables libres si hay variables cuantificadas, y sobre 5+
n si solo tiene variables libres.
Es el número de conectivas binarias en una fórmula molecular sin negaciones ni abreviaciones del cálculo de orden cero, donde "log(x)" es el mayor entero menor al logaritmo común de x y g(h) es el número de Gödel de la fórmula h.
Es el número de conectivas binarias en una fórmula... con únicamente variables cuantificadas del cálculo de primer orden sin símbolos funcionales, donde r(xi) es el número de veces que se repite la i-variable x que pertenece al conjunto de variables cuantificadas x1… xn de h.
Es el número de conectivas binarias en una fórmula... con máximo n variables libres si hay variables cuantificadas, y sobre 5+n si solo tiene variables libres.
Comentarios