【单选题】一阶逻辑公式 " xP(x) ® $ yQ(y) 的前束范式是 A. " x $ y(P(x) ® Q(y)) B. Ø " xP(x) ∨ $ yQ(y) C. " x $ y Ø P(x) ∨Q(y) D. $ x $ y(P(x) ® Q(y))
【单选题】一阶逻辑公式 " xP(x) ® $ yQ(y) 的前束范式是
A、 " x $ y(P(x) ® Q(y))
B、 Ø " xP(x) ∨ $ yQ(y)
C、 " x $ y Ø P(x) ∨Q(y)
D、 $ x $ y(P(x) ® Q(y))
发布时间：2025-07-06 15:35:54
