Resultado de la búsqueda: metodo de residuo en logica