【简答题】【消耗次数：1】
紧接于量词之后最小的子公式叫量词的[填空1]
参考答案：
复制
纠错
相关题目
【单选题】
在公式中yxp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（ ）
①
依赖函数
②
Skolem函数
③
决定函数
④
多元函数
【判断题】
公式“x$y(F(x, y) ù G(y, z)) ú $xH(x, y, z)”中的全称量词x的辖域为：$y(F(x, y) ù G(y, z)) 。
①
正确
②
错误
【简答题】
头骨底部的骨头叫（ ）[填空(1)]
【多选题】
设个体域 D={a,b,c}, 消去谓词“xF(x) ?yG(y)”中的量词后的形式，下面不正确的有：
①
(F(a) ùF(b)) ùF(c)) ù (G(a) úG(b) úG(c))；
②
(F(a) ùF(b) ùF(c)) ú (G(a) ùG(b) ùG(c))
③
(F(a) ùF(b) ùF(c)) ? (G(a) ùG(b) ùG(c))；
④
(F(a) ùF(b) ùF(c)) ù (G(a) ùG(b) ùG(c)).
【简答题】
美国的金融监管体制叫“[填空1]”
随机题目
【单选题】
1982年开始编写的《电子资金划拨法律指南》是以下那个组织的
①
国际经济合作与发展组织(OECD)
②
联合国国际贸易法委员会(UNCITRAL)
③
世界贸易组织(WTO)
④
世界知识产权组织(WIPO)
【单选题】
发送者向商家发送订购信息之前,商家的服务器首先将自己数字证书发给消费者,通过认证后客户机再将相关信息传给服务器的认证方式是
①
方差分析
②
确定的
③
独立的
④
回归分析