登陆题目详情
单选题 利用谓词的约束变元改名规则,将公式
改名,改写正确的是 ( )
A. 
)
B. 
C. 
D. 
学科：离散数学
时间：2024-06-13 08:18:56
相关题目
相关作业
题目1单选题
命题"离散数学是一门非常有趣的课程."的谓词是( )A. 是B. 离散数学C. 课程D. 是一门非常有趣的课程
题目2单选题
将命题"并不是所有的狐狸都比兔子聪明."符号化.令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))
题目3单选题
利用谓词的约束变元改名规则,将公式<img src="https://tihai-oss-cloud.itihey.com/img/fc7da28fd76fd88fbc85ccaded1a33a1.png">改名,改写正确的是 ( )A. <img src="https://tihai-oss-cloud.itihey.com/img/3000d17057d76ac9b6431ae42a367e27.png">)B. <img src="https://tihai-oss-cloud.itihey.com/img/2ca2f832c60cb8e1ebacadeb9e3f3b18.png">C. <img src="https://tihai-oss-cloud.itihey.com/img/06dad62656105b7720c111b6e5738edd.png">D. <img src="https://tihai-oss-cloud.itihey.com/img/07f921f9df3d9b5363bbb5b3904769c1.png">
题目4单选题
命题"离散数学是一门非常有趣的课程."的个体是( )A. 离散数学B. 课程C. 非常有趣的D. 一门
题目5单选题
将命题"没有人登上过木星."符号化.设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))
题目6单选题
将命题"小明来自湖南省或湖北省"用0元谓词符号化,设F(x):x来自湖南省,G(x):x来自湖北省,c:小明.则命题符号化为( )A. F(x)∨G(x)B. (F(x)∧￢G(x))∨ (￢F(x)∧G(x))C. (F(c)∧￢G(c))∨ (￢F(c)∧G(c))D. F(c)∨G(c)
题目7单选题
公式"∃x(P(x)→∀yR(x,y))"中量词∃的辖域为( )A. yB. xC. P(x)→∀yR(x,y)D. R(x,y)
题目8单选题
将命题"有的狐狸比所有的兔子聪明."符号化.令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)∧R(y)∧N(x,y)∧L(x,y))D. ∃x∀y(R(x)∧T(y)∧H(x,y))
题目9单选题
下列哪个公式是谓词公式( )A. ∀x(P(x)→R(x))∃yB. ∨G(x)∧P(x,y)C. ∀xP(x)∨∃yR(x,y)D. G(x)¬→P(x,y)
题目10单选题
设 M(x):x是人,P(x):x犯错误,命题"没有不犯错误的人"符号化为 ( )A. <img src="https://tihai-oss-cloud.itihey.com/img/b927ffcf414d6f25c0752d036fd3d0f1.png">B. <img src="https://tihai-oss-cloud.itihey.com/img/47777601a33d4d14f096554237789c1b.png">C. <img src="https://tihai-oss-cloud.itihey.com/img/d76608c59e217f8561a3a754cce27b62.png">D. <img src="https://tihai-oss-cloud.itihey.com/img/dcc76e5601e146ed71be9bff9868f962.png">
下载 题海APP
拍照搜题更快捷
- 海量题库
- 无搜索限制
- 快捷拍照搜题
