單項(xiàng)選擇題

在公式中yxP(x,y),存在量詞是在全稱量詞的轄域內(nèi),我們允許所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義,它把每個(gè)y值映射到存在的那個(gè)x。這種函數(shù)叫做()

A、依賴函數(shù)
B、Skolem函數(shù)
C、決定函數(shù)
D、多元函數(shù)

微信掃碼免費(fèi)搜題