【单选题】【消耗次数：1】
？表示动作的量。
①
名量词
②
动量词
③
时量词
④
形量词
参考答案：
复制
纠错
相关题目
【简答题】
紧接于量词之后最小的子公式叫量词的[填空1]
【单选题】
在公式中yxp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（ ）
①
依赖函数
②
Skolem函数
③
决定函数
④
多元函数
【多选题】
设个体域 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)).
【多选题】
设个体域 D={a,b,c}, 消去谓词“xy(F(x) úG(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)).
随机题目
【单选题】
在Windows 中，经常使用所谓的“即插即用”设备，其“即插即用”的含义是指____。
①
不需要BIOS支持即可使用硬件
②
Windows系统所能使用的硬件
③
安装在计算机上不需要配置任何驱动程序就可使用的硬件
④
计算机上安装硬件后，系统自动识别并完成驱动程序的安装和配置
【单选题】
在Windows中，如果要彻底删除系统中已安装的应用软件，最正确的方法是____。
①
用控制面板中“程序和功能”或软件自带的卸载程序完成
②
对磁盘进行碎片整理操作
③
直接找到该文件或文件夹进行删除操作
④
删除该文件及快捷图标