Rappresentabile

rappresentabile

rappresentàbile [Der. di rappresentare (→ rappresentazione) "che è suscettibile di rappresentazione"] [ALG] [FAF] Funzione r.: nella logica matematica, è tale una funzione di una o più variabili numeriche f(x₁,x₂,..., xn) in un sistema S se e solo se c'è in S una formula P(x₁,..., xn+1), tale che per ogni sostituzione di valori numerici k₁,..., kn+1 rispettiv. alle variabili x₁,..., xn+1, la formula P(k₁,..., kn+1) è derivabile in S se kn+1= f(k₁,..., kn), e, se altrimenti, è derivabile la negazione di P(k₁,..., kn+1).