decidibilidad

(redireccionado de decidibilidades)

decidibilidad

 
f. lóg. Posibilidad de un cálculo de tener unos procedimientos decisorios para establecer si una fórmula cualquiera es válida o no en el sistema.