单项选择题
谓词公式： (
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,)
xtw((T(x,→R()→S(w,)B．
xtw((T(x,→R()→S(w,)C．
xy((T(x,→R()→S(x,)D．
xTw((T(x,→R()→S(w,)