登陆题目详情
单选题 利用谓词的约束变元改名规则,将公式
改名,改写正确的是 ( )
A. 
)
B. 
C. 
D. 
学科：离散数学2024-2025-春季
时间：2025-03-30 15:36:46
相关题目
相关作业
题目1单选题
命题"离散数学是一门非常有趣的课程."的个体是( )A. 离散数学B. 一门C. 非常有趣的D. 课程
题目2单选题
命题"离散数学是一门非常有趣的课程."的谓词是( )A. 离散数学B. 是C. 是一门非常有趣的课程D. 课程
题目3单选题
将命题"并不是所有的狐狸都比兔子聪明."符号化.令R(x):x是狐狸,T(y):y是兔子,N(x,y):x≠y,H(x,y):x比y聪明,L(x,y):x与y同样聪明.则命题可符号化为:( )A. ∀x∀y(R(x)∧T(y)→H(x,y))B. ∃x∀y(R(x)∧T(y)∧H(x,y))C. ￢∀x∀y(R(x)∧T(y)→H(x,y))D. ￢∃x∃y(R(x)∧R(y)∧N(x,y)∧L(x,y))
题目4单选题
将命题"狐狸比兔子聪明."符号化.令R(x):x是狐狸,T(y):y是兔子,N(x,y):x≠y,H(x,y):x比y聪明,L(x,y):x与y同样聪明.则命题可符号化为:( )A. ∀x∀y(R(x)∧T(y)→H(x,y))B. ∃x∀y(R(x)∧T(y)∧H(x,y))C. ￢∀x∀y(R(x)∧T(y)→H(x,y))D. ￢∃x∃y(R(x)∧R(y)∧N(x,y)∧L(x,y))
题目5单选题
将命题"有的狐狸比所有的兔子聪明."符号化.令R(x):x是狐狸,T(y):y是兔子,N(x,y):x≠y,H(x,y):x比y聪明,L(x,y):x与y同样聪明.则命题可符号化为:( )A. ∀x∀y(R(x)∧T(y)→H(x,y))B. ∃x∀y(R(x)∧T(y)∧H(x,y))C. ￢∀x∀y(R(x)∧T(y)→H(x,y))D. ￢∃x∃y(R(x)∧R(y)∧N(x,y)∧L(x,y))
题目6单选题
将命题"没有人登上过木星."符号化.设P(x):x是人;M(x):x登上过木星,则命题可符号化为:( )A. ¬∀x(P(x)∧M(x))B. ∀x(P(x)∧¬M(x))C. ¬∀x(P(x)→M(x))D. ∀x(P(x)→¬M(x))
题目7单选题
下列哪个公式是谓词公式( )A. ∨G(x)∧P(x,y)B. G(x)¬→P(x,y)C. ∀xP(x)∨∃yR(x,y)D. ∀x(P(x)→R(x))∃y
题目8单选题
公式"∃x(P(x)→∀yR(x,y))"中量词∃的辖域为( )A. P(x)→∀yR(x,y)B. R(x,y)C. xD. y
题目9单选题
设 M(x):x是人,P(x):x犯错误,命题"没有不犯错误的人"符号化为 ( )A. <img src="https://p.ananas.chaoxing.com/star3/origin/4aeaa8d66615b1debf6c9a2dfe8d2727.png">B. <img src="https://p.ananas.chaoxing.com/star3/origin/3c15289cfcf734edf4195fdc6a50d808.png">C. <img src="https://p.ananas.chaoxing.com/star3/origin/3bfdc80a36824090a5731651f94d2a44.png">D. <img src="https://p.ananas.chaoxing.com/star3/origin/9332e2b315cad1c69b11cc9cb4a196b9.png">
题目10单选题
利用谓词的约束变元改名规则,将公式<img src="https://p.ananas.chaoxing.com/star3/origin/edbbbacc17ac78b2c82144a29290e112.png">改名,改写正确的是 ( )A. <img src="https://p.ananas.chaoxing.com/star3/origin/a93fe1bb7bdbfbe42f8798f686523d6a.png">)B. <img src="https://p.ananas.chaoxing.com/star3/origin/fc2c5332709b408eddcdef81dec7d73e.png">C. <img src="https://p.ananas.chaoxing.com/star3/origin/54a12515d44d4b5e0dc96d4cec15ae55.png">D. <img src="https://p.ananas.chaoxing.com/star3/origin/6ef0472ffee9197330f5f9610a226dd0.png">
下载 题海APP
拍照搜题更快捷
- 海量题库
- 无搜索限制
- 快捷拍照搜题
