大学网课搜题引擎
首页
安徽省网络课程学习中心平台
离散数学
第二章 谓词逻辑
题目详情
简答题
推理中若要消除(∃ x)Q(x) 存在量词，可以使用规则
A US
B ES
C UG
D EG
查看答案与解析
简答题
设H(x,y)表示x大于y，则“如果2大于3，那么2大于4”可以用谓词公式表示为： A H(2,3) ∧H(2,4) B H(2,3) →H(2,4) C H(2,3) →┐H(2,4) D H(2,3) ∨H(2,4)
简答题
()(R(x)→(y)Q(x,y))的前束范式是 A (y) () (┐R(x)∧Q(x,y)) B ()(y) (┐R(x)∧Q(x,y)) C (y) ()(┐R(x)∨Q(x,y)) D ()(y) (┐R(x)∨Q(x,y))
简答题
下列等价式正确的是 A B C D
简答题
设谓词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))
简答题
下列等价式正确的是 A B C D
简答题
“所有的学生今天都没来上课”，设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都可以
离散数学
章节列表
集合 考试
9
代数结构考试
4
第一章 命题逻辑
12
格 考试
2
第二章 谓词逻辑
7
图 考试
4
第三章 集合与关系
13
谓词逻辑考试
8
第四章 函数
5
第五章 代数结构
8
命题逻辑考试
10
第六章 格
4
第七章 图
4