Si nos encontramos en el caso de que para un mismo concepto existen tanto pruebas positivas como negativas, se dice que dicho problema es soluble, de modo que para cualquier entrada al procedimiento computacional podemos clasificarlo como positivo o negativo.