李明的父亲是教师,用谓词逻辑可以表示为Teacher(father(Liming)),这里father(Liming)是()
李明的父亲是教师,用谓词逻辑可以表示为Teacher(father(Liming)),这里father(Liming)是()
A、常量
B、函数
C、变元
D、一元谓词
正确答案:函数
李明的父亲是教师,用谓词逻辑可以表示为Teacher(father(Liming)),这里father(Liming)是()
A、常量
B、函数
C、变元
D、一元谓词
正确答案:函数
相关答案
热门答案