單項選擇題

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

A、依賴函數
B、Skolem函數
C、決定函數
D、多元函數

微信掃碼免費搜題