El procedimiento decisorio para un concepto es viable o soluble, si se puede encontrar un algoritmo computacional que, al aplicarlo a un objeto cualquiera en un número finito de pasos, nos permita clasificarlo como ejemplo o contraejemplo de tal concepto.