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

题目详情

单选题 将公式¬∀x∃yP(x,y)化为前束范式,结果为

A. ∃x∀y¬P(x,y)

B. ∀x∃y¬P(x,y)

C. ∃x∃y¬P(x,y)

D. ¬∃x∀yP(x,y)

默认课程课程封面

学科：默认课程

时间：2026-05-30 11:10:29

相关题目

相关作业

题目1
单选题
函数f的逆函数存在的条件是
A. f是单射B. f是满射C. f是双射D. f是线性函数
题目2
单选题
图的着色数是指
A. 最小顶点着色数B. 最大边着色数C. 平面图的区域数D. 边的权重和
题目3
单选题
将公式¬∀x∃yP(x,y)化为前束范式,结果为
A. ∃x∀y¬P(x,y)B. ∀x∃y¬P(x,y)C. ∃x∃y¬P(x,y)D. ¬∃x∀yP(x,y)
题目4
单选题
若R是A到B的关系,则dom(R)表示
A. A的子集B. B的子集C. R的定义域D. R的值域
题目5
单选题
主析取范式中的极小项对应的是
A. 公式取真时的赋值B. 公式取假时的赋值C. 所有可能赋值D. 矛盾式的情况
题目6
单选题
公式(P→Q)∧(Q→P)的等价式是
A. P↔QB. P∨QC. P∧QD. ¬P∨¬Q
题目7
单选题
汉密尔顿图的必要条件是
A. 每对顶点度数之和≥n-1B. 存在欧拉回路C. 所有顶点度数≥2D. 边数≥顶点数
题目8
单选题
二元运算满足交换律的定义是
A. a*b=b*aB. (ab)c=a(bc)C. a*a=aD. a*e=a
题目9
单选题
完全图K₅的边数是
A. 10B. 15C. 20D. 25
题目10
单选题
若R是传递关系,则R²与R的关系是
A. R²⊆RB. R⊆R²C. R²=RD. R²∩R=∅
Copyright © 2022 津ICP备2021001502号