公式¬∃x(¬P(u, x)→∀yQ(y))的前束范式是( )。选项: A:∀x∃y (¬P(u, x)∧¬Q(y)) B:∀x∀y (¬P(u, x)∧¬Q(y)) C:∀x∃y (¬P(u, x)→Q(y)) D:∀x∀y (¬P(u, x)→Q(y)) 公式 范式 发布时间:2024-05-19 21:59:59