59f11ee883a39c78dc05e01dd1c4f1b6

更新时间：试题数量：购买人数：提供作者：

有效期：个月

章节介绍：共有个章节

收藏

我的练习

我的错题
(0道)

我的收藏
(0道)

我的斩题
(0道)

我的笔记
(0道)

专项练习

顺序练习 练习进度 0 / 0

随机练习 自定义设置练习量

模拟考试 仿真模拟

题型练习 按题型分类练习

易错题 精选高频易错题

学习资料 考试学习相关信息

搜索

题库预览

一阶逻辑中，“没有最大的自然数”可符号化为（个体域为自然数集）（）

公式$$\exists x(P(x)\land\forall yQ(y))$$中，量词$$\forall y$$的辖域是（）

设个体域为实数集，$$P(x,y)$$表示“$$x+y=0$$”，则$$\exists x\forall yP(x,y)$$的真值为（）

一阶逻辑公式$$\forall xP(x)\land\exists x\neg P(x)$$是（）

若个体域$$D=\{a,b,c\}$$，则$$\exists xP(x)\leftrightarrow\forall xP(x)$$等价于（）

“有的猫是黑色的且会抓老鼠”符号化为（设$$C(x)$$：$$x$$是猫，$$B(x)$$：$$x$$是黑色的，$$M(x)$$：$$x$$会抓老鼠）（）

关系$$R$$是反对称的，当且仅当关系矩阵中（）

设集合$$A=\{1,2,3\}$$，$$R=\{(1,2),(2,3),(1,3)\}$$，则$$R$$的自反闭包$$r(R)$$是（）

下列关系中，属于等价关系的是（）

一阶逻辑公式$$\neg(\forall xP(x)\to\exists xQ(x))$$等价于（）

设$$A=\{a,b\}$$，则$$A$$上的偏序关系共有（）个

公式$$\exists x\forall y(x+y=y)$$在自然数集上的真值为（）

关系$$R$$和$$S$$是集合$$A$$上的传递关系，则$$R\cap S$$（）

一阶逻辑中，“每个合数都可以分解为素数的乘积”符号化为（设$$C(x)$$：$$x$$是合数，$$P(x)$$：$$x$$是素数，$$D(x,y)$$：$$x$$能分解为$$y$$的乘积）（）

设集合$$A=\{1,2,3,4\}$$，$$R$$是$$A$$上的“模2同余”关系，则等价类个数为（）

一阶逻辑中，量词分配律$$\exists x(P(x)\lor Q(x))\leftrightarrow$$（）

关系$$R$$的对称闭包和传递闭包的运算顺序（）

设个体域为$$\{1,2,3\}$$，$$P(x)$$表示“$$x$$是质数”，则$$\forall xP(x)$$的真值为（）

偏序关系的哈斯图中，节点$$a$$是极小元当且仅当（）

一阶逻辑公式$$\exists x(P(x)\to\forall yP(y))$$是（）