大学网课搜题引擎
首页
安徽省网络课程学习中心平台
离散数学
谓词逻辑考试
题目详情
简答题
7.推理中若要消除(∃ x)Q(x) 存在量词，可以使用规则
A US
B US
C UG
D EG
查看答案与解析
简答题
的前束范式是 A (┐R(x)∧Q(x,y)) B (┐R(x)∧Q(x,y)) C (┐R(x)∨Q(x,y)) D (┐R(x)∨Q(x,y))
简答题
4．下列谓词公式中x即是约束变元也是自由变元的是 A (∀x) (A(x)→B(x)) B (∀x)( P(x)→(∃y)R(x,y)) C (∀x) (∀y) A(x,y) ∧(∃y)B(x,y) D (∃y)( P(x)∧Q(x,y))
简答题
5．设谓词F(x):x是人,G(x):x是呼吸的,则“没有不呼吸的人”可表示为 A (∃x)(F(x)∧┐G(x)) B ┐(∃x)(F(x)→┐G(x)) C (∀x)(F(x)∧G(x)) D (∀x)(F(x)→G(x))
简答题
8.“所有的学生今天都没来上课”，设P(x):x今天来上课，M(x):x是学生可用谓词公式表示为 A ┐(∃x)(M(x)∧P(x)) B (∃x)(M(x)∧┐P(x)) C ．(∀x) (M(x)→┐P(x)) D A和C都可以
简答题
2．对谓词公式(ꓯx )(A(x)→B(x,y))∧C(x,y)换名(换元)正确的是 A ( ꓯz) (A(z)→B(z,y))∧C(z,y) B (ꓯ z) (A(z)→B(z,y))∧C(x,y) C (ꓯ y)(A(y)→B(y,y))∧C(x,y) D (ꓯx )(A(x)→B(x,z))∧C(x,z)
简答题
1．下列等价式正确的是 A ┐(ⱻx）A（x）↔(ⱻx）┐A（x） B （ꓯx）（ꓯy）A（x,y）↔（ⱻx）（ꓯy）A（x,y） C ┐(ꓯx）A（x）↔(ⱻx）┐A（x） D (ꓯx)(A(x)∧B(x))↔(ꓯx)A(x)∨(ꓯx)B(x)
简答题
6．下列等价式正确的是 A (∀x) (∀y)Q(x,y)→(∃x) (∀y)Q(x,y) B (∀x) (∀y)Q(x,y)→(∀x) (∀y)Q(x,y) C (∃x) (∀y)Q(x,y)→(∃x) (∀y)Q(x,y) D (∀x) (∀y)Q(x,y)→(∃y) (∃x)Q(x,y)
离散数学
章节列表
集合 考试
9
代数结构考试
4
第一章 命题逻辑
12
格 考试
2
第二章 谓词逻辑
7
图 考试
4
第三章 集合与关系
13
谓词逻辑考试
8
第四章 函数
5
第五章 代数结构
8
命题逻辑考试
10
第六章 格
4
第七章 图
4
7.推理中若要消除(∃ x)Q(x) 存在量词，可以使用规则 A US - 谓词逻辑考试 - 离散数学 - 安徽省网络课程学习中心平台 | 大学网课搜题引擎