【单选题】【消耗次数：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)).
随机题目
【单选题】
在Word2010中，选定一行文本的最方便快捷的方法是______。
①
在行首拖动鼠标至行尾
②
在选定行的左侧单击鼠标
③
在选定行位置双击鼠标
④
在该行位置右击鼠标
【单选题】
下面关于在Word2010中对段落行间距进行调整的描述，错误的是_____。
①
可以对不同段落设置相同的行间距
②
可以对不同段落设置不同的行间距
③
可以通过“字体设置”调整行间距
④
可以通过“格式刷”设置段落行间距
【单选题】
在Word2010中利用标尺可改变段落缩排方式、调整左右边界、改变表格栏宽度，则对标描述不正确的有_____。
①
标尺可以设置成隐藏
②
标尺可以有横标尺和竖标尺
③
可以通过标尺进行定位
④
可以利用标尺画任意直线图形
【单选题】
在Word2010中，当前编辑的文档是C盘中的dl.doc文档，要将文档送到U盘保存，应当使用_____。
①
“文件”菜单中的“另存为”命令
②
“文件”菜单中的“保存”命令
③
“文件”菜单中的“新建”命令
④
“插入”菜单中的命令
【单选题】
在Word2010的编辑中，若把当前文档进行“另存为”操作，当输入新文件名并确定之后，则_____。
①
原文档被当前文档所覆盖
②
当前文档与原文档互不影响
③
当前文档与原文档互相影响
④
以上说法均不对
【单选题】
在Word2010中，当前已打开一个文件，若想打开另一文件，则_____。
①
首先关闭原来的文件，才能打开新文件
②
打开新文件时，系统会自动关闭原文件
③
可直接打开另一文件，不必关闭原文件
④
新文件的内容将会加入原来打开的文件中