李明的父亲是教师,用谓词逻辑可以表示为Teacher(father(Liming))这里father(Liming)是()
5 查阅
李明的父亲是教师,用谓词逻辑可以表示为Teacher(father(Liming))这里father(Liming)是()
A.常量
B.变元
C.函数
D.一元谓词
参考答案: