以下哪个公式是前束范式?( ) 选项: A:∀x(F(x)∧∀y(F(y)→G(y,x))) B:∀x(F(x)∧F(y)→∃yG(y,x)) C:∀x∀y(F(x)∧F(y)→G(y,x)) D:∀x(F(x)∧∃y(F(y)→G(y,x))) 以下 公式 范式 发布时间:2024-05-19 12:17:01