下列( )是前束范式。 选项: A:∀xP(x)∧∃xQ(x) B:∀xP(x)∧∃yQ(y) C:∀x(P(x)∧∃xQ(x)) D:∀x∃y(P(x)∧Q(x)) 范式 下列 发布时间:2024-05-07 22:44:21