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

题目详情

单选题 将命题"没有人登上过木星."符号化.设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-2025-春季课程封面

学科：离散数学2024-2025-春季

时间：2025-04-01 02:57:33

相关题目

相关作业

题目1
单选题
将命题"小明来自湖南省或湖北省"用0元谓词符号化,设F(x):x来自湖南省,G(x):x来自湖北省,c:小明.则命题符号化为( )
A. F(x)∨G(x)B. ∧￢G(x))∨ (￢F(x)∧G(x))C. F(c)∨G(c)D. ∧￢G(c))∨ (￢F(c)∧G(c))
题目2
单选题
命题"离散数学是一门非常有趣的课程."的个体是( )
A. 离散数学B. 一门C. 非常有趣的D. 课程
题目3
单选题
命题"离散数学是一门非常有趣的课程."的谓词是( )
A. 离散数学B. 是C. 是一门非常有趣的课程D. 课程
题目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
单选题
将命题"有的狐狸比所有的兔子聪明."符号化.令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))
题目7
单选题
将命题"没有人登上过木星."符号化.设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))
题目8
单选题
下列哪个公式是谓词公式( )
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
题目9
单选题
公式"∃x(P(x)→∀yR(x,y))"中量词∃的辖域为( )
A. P(x)→∀yR(x,y)B. R(x,y)C. xD. y
题目10
单选题
设 M(x):x是人,P(x):x犯错误,命题"没有不犯错误的人"符号化为 ( )
A. <img src="https://tihai-oss-cloud.itihey.com/img/dcc76e5601e146ed71be9bff9868f962.png">B. <img src="https://tihai-oss-cloud.itihey.com/img/d76608c59e217f8561a3a754cce27b62.png">C. <img src="https://tihai-oss-cloud.itihey.com/img/b927ffcf414d6f25c0752d036fd3d0f1.png">D. <img src="https://tihai-oss-cloud.itihey.com/img/47777601a33d4d14f096554237789c1b.png">
Copyright © 2022 津ICP备2021001502号