"x F(x,y) → ¬ $y G(x,y)的前束范式
A、$x$y(F(x,m)®ØG(t,y));
B、$x∀y(F(x,m)®ØG(t,y));
C、∀x$y(F(x,m)®ØG(t,y));
D、∀x$y(F(x,m)®ØG(t,y))
发布时间:2025-06-23 09:43:37
A、$x$y(F(x,m)®ØG(t,y));
B、$x∀y(F(x,m)®ØG(t,y));
C、∀x$y(F(x,m)®ØG(t,y));
D、∀x$y(F(x,m)®ØG(t,y))