题目内容

目标管理基本思想是什么?

查看答案
更多问题

公式∀x∀y(P(x,y)∨Q(y,z))∧∃xP(x,y)可换名为

A. ∀x∀u(P(x,u)∨Q(u,z))∧∃tP(t,y)
B. ∀x∀y(P(x,u)∨Q(u,z))∧∃xP(x,u)
C. ∀x∀y(P(x,y)∨Q(y,z))∧∃xP(x,u)
D. ∀u∀y(P(u,y)∨Q(y,z))∧∃uP(u,y)

设C(x):x是国家级运动员,G(x);x是健壮的,则命题“没有一个国家级运动员不是健壮的”可符号化为().

A. ¬∀x(C(x)∧¬G(x))
B. ¬∀x(C(x)→¬G(x))
C. ¬∃x(C(x)→¬G(x))
D. ¬∃x(C(x)∧¬G(x))

表达式∀x(P(x,y)∨Q(z))∧∃y(R(x,y)→∀zQ(z))中∀x的辖域是()

A. P(x,y)
B. P(x,y)∨Q(z)
C. R(x,y)
D. P(x,y)∧R(x,y)

下列给出的一阶逻辑等价式中,()是错误的

A. ∃x(A(x)∨B(x))⇔∃xA(x)∨∃xB(x)
B. ∀x(A(x)∨B(x))⇔∀xA(x)∨∀xB(x)
C. ¬∀xA(x)⇔∃x(¬A(x))
D. A→∀xB(x)⇔∀x(A→B(x))

答案查题题库