谓词公式: 的前束范式是A.((T(x,y)→R(t))→S(w,y))B.((T(x,y)→R(t))→S(w,y))C.((T(x,y)→R(y))→S(x,y))D.((T(x,y)→R(T))→S(w,y))
谓词公式: 的前束范式是
A、((T(x,y)→R(t))→S(w,y))
B、((T(x,y)→R(t))→S(w,y))
C、((T(x,y)→R(y))→S(x,y))
D、((T(x,y)→R(T))→S(w,y))
发布时间:2025-12-13 18:57:10