谓词公式:   的前束范式是

admin2009-02-24  9

问题 谓词公式:  

的前束范式是

选项 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))

答案B

解析
转载请注明原文地址:https://jikaoti.com/ti/1qE7FFFM
0

相关试题推荐
最新回复(0)