国土资源

地震

地貌

海洋

自然地理常识

西域地名

中国古代地名

人文地理常识

邯郸

上海

中国行政区划

世界地理

湖北地理

广西地理

中国宗教名胜

贵州地理

中国地理知识

地质年代

东亚名胜

地理名胜

水文

气候

环境保护

林业

自然现象

生物理论

自然生态

微生物

哺乳动物

鱼类

鸟类

动物生理

动物知识

植物

江西历史人物

东北历史人物

浙江历史人物

历史名人

外国文学家

文学家

红军人物

军事名人

经济人物

宗教人物

社科人物

在线名词解释大全 - 离散数学 - 详细

$公式forallxforally(P(x,y)veeQ(y,z))wedgeexistsxP(x,y)可换名为$

A.$forall x forall u(P(x, u) vee Q(u, z)) wedge exists t P(t, y) $

B.$forall x forall y(P(x, u) vee Q(u, z)) wedge exists x P(x, u) $

C.$forall x forall y(P(x, y) vee Q(y, z)) wedge exists x P(x, u) $

D.$forall u forall y(P(u, y) vee Q(y, z)) wedge exists u P(u, y) $

正确答案：

热门搜索：

冲击力

勾股定理

万有引力