题海让大学四年没有难题
白天模式登陆

题目详情

单选题 公式"∃x(P(x)→∀yR(x,y))"中量词∃的辖域为( )

A. P(x)→∀yR(x,y)

B. R(x,y)

C. x

D. y

离散数学2024-2025-春季课程封面

学科：离散数学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">
Copyright © 2022 津ICP备2021001502号