谓词公式: (xT(x,y)→yR(y))→xS(x,y)的前束范式是 A.xtw
题型:单项选择题
问题:
谓词公式: (
xT(x,y)→yR(y))→
xS(x,y)的前束范式是
A.
x
t
w((T(x,→R()→S(w,)
B.
x
t
w((T(x,→R()→S(w,)
C.
x
y((T(x,→R()→S(x,)
D.
x
T
w((T(x,→R()→S(w,)
谓词公式: (
xT(x,y)→yR(y))→
xS(x,y)的前束范式是
A.
x
t
w((T(x,→R()→S(w,)
B.
x
t
w((T(x,→R()→S(w,)
C.
x
y((T(x,→R()→S(x,)
D.
x
T
w((T(x,→R()→S(w,)