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

题目详情

单选题 将命题"没有人登上过木星."符号化.设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))

离散数学课程封面

学科：离散数学

时间：2024-05-12 11:11:14

相关题目

相关作业

题目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
单选题
命题&quot;离散数学是一门非常有趣的课程.&quot;的个体是( )
A. 离散数学B. 课程C. 非常有趣的D. 一门
题目5
单选题
将命题&quot;没有人登上过木星.&quot;符号化.设P(x):x是人;M(x):x登上过木星,则命题可符号化为:( )
A. &forall;x(P(x)&rarr;&not;M(x))B. &not;&forall;x(P(x)&rarr;M(x))C. &not;&forall;x(P(x)&and;M(x))D. &forall;x(P(x)&and;&not;M(x))
题目6
单选题
将命题&quot;小明来自湖南省或湖北省&quot;用0元谓词符号化,设F(x):x来自湖南省,G(x):x来自湖北省,c:小明.则命题符号化为( )
A. F(x)&or;G(x)B. (F(x)&and;￢G(x))&or; (￢F(x)&and;G(x))C. (F(c)&and;￢G(c))&or; (￢F(c)&and;G(c))D. F(c)&or;G(c)
题目7
单选题
公式&quot;&exist;x(P(x)&rarr;&forall;yR(x,y))&quot;中量词&exist;的辖域为( )
A. yB. xC. P(x)&rarr;&forall;yR(x,y)D. R(x,y)
题目8
单选题
将命题&quot;有的狐狸比所有的兔子聪明.&quot;符号化.令R(x):x是狐狸,T(y):y是兔子,N(x,y):x&ne;y,H(x,y):x比y聪明,L(x,y):x与y同样聪明.则命题可符号化为:( )
A. ￢&forall;x&forall;y(R(x)&and;T(y)&rarr;H(x,y))B. &forall;x&forall;y(R(x)&and;T(y)&rarr;H(x,y))C. ￢&exist;x&exist;y(R(x)&and;R(y)&and;N(x,y)&and;L(x,y))D. &exist;x&forall;y(R(x)&and;T(y)&and;H(x,y))
题目9
单选题
下列哪个公式是谓词公式( )
A. &forall;x(P(x)&rarr;R(x))&exist;yB. &or;G(x)&and;P(x,y)C. &forall;xP(x)&or;&exist;yR(x,y)D. G(x)&not;&rarr;P(x,y)
题目10
单选题
设 M(x):x是人,P(x):x犯错误,命题&quot;没有不犯错误的人&quot;符号化为 ( )
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">
Copyright © 2022 津ICP备2021001502号