填空题

用谓词逻辑表示知识“所有教师都有自己的学生”,( 定义谓词:T (x):表示x 是教师;S (y):表示y是学生;TS(x, y):表示x是y的老师)()。

【参考答案】