单选题谓词公式：　　(

xT(x,y)→yR(y))→

xS(x,y)的前束范式是

A、 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,)

【正确答案】 B

【答案解析】