在线名词解释大全

专业、全面、易懂的全领域名词百科

下面谓词公式中（）属于前束范式。

题型：单选题

选项

A. ∃y∀x∃z(A(x) →(B(x,y) ᴠ C(x,y,z)))

B. ∀x∃y(A(x) →(B(x,y) ᴠ ∃zC(x,y,z)))

C. ∀xA(x) → B(x)

D. ∀x(P(x) ᴧ R(x)) → (¬∃xP(x) ᴧ Q(x))

正确答案：A