问题
单项选择题
谓词公式： (
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,)
答案
参考答案：B
搜题请搜索小程序“爱下问搜题”
谓词公式： (
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,)
参考答案：B