单选题

在公式中yxP(x,y),存在量词是在全称量词的辖域内,我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义,它把每个y值映射到存在的那个x。这种函数叫做()

A. 依赖函数
B. Skolem函数
C. 决定函数
D. 多元函数

查看答案
该试题由用户324****27提供 查看答案人数:20727 如遇到问题请联系客服
正确答案
该试题由用户324****27提供 查看答案人数:20728 如遇到问题请联系客服
热门试题
设个体域为A={a,b},公式∀xP(x) ∧∃xS(x)消去量词后应为P(x)∧S(x)() 数量短语和指量短语统称量词短语。 在一个量词的辖域中与该量词的指导变元相同的变元称为()变元,其他变元称为()变元。 俩、仨是合体数量词,其后不能加量词() 俩、仨是合体数量词,其后不能加量词() 量词是体词性的,所以量词短语属于体词性短语。() 什么是量词?举例说明量词的分类和语法特点。 ?x P(x)∧?yQ(x,y)整个谓词公式中只有一个量词。?x的辖域为P(x),P(x)中的x和Q(x,y) 中的y是约束变元,Q(x,y)中的x是自由变元 下列四组量词中都属于个体量词的一组是()。 下面名量词构成量词词组后可以放在形容词前面的是()。 属于量词的是() 通用量词就是只能和特定的名词进行搭配的量词。( ) 通用量词就是只能和特定的名词进行搭配的量词() 下列选项中属于动量词的是____ 求取子句集的步骤包括以下步骤,()、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词、更改变量名。 求取子句集的步骤包括以下步骤:消去“蕴含”连结词、减少“非”连结词的辖域、对变量标准化、消去存在量词、化成前束范式、()。 汉语中不存在集合量词() 汉语中不存在集合量词() 在鹤庆白族中,表示赞颂的量词是() 量词表示计量单位,可分为名量词和(???)两大类。
购买搜题卡会员须知|联系客服
会员须知|联系客服
关注公众号,回复验证码
享30次免费查看答案
微信扫码关注 立即领取
恭喜获得奖励,快去免费查看答案吧~
去查看答案
全站题库适用,可用于聚题库网站及系列App

    只用于搜题看答案,不支持试卷、题库练习 ,下载APP还可体验拍照搜题和语音搜索

    支付方式

     

     

     
    首次登录享
    免费查看答案20
    登录成功
    首次登录已为您完成账号注册,
    可在【个人中心】修改密码或在登录时选择忘记密码
    账号登录默认密码:手机号后六位