李明的父亲是教师,用谓词逻辑可以表示为Teacher(father(Liming)),这里father(Liming)是()


李明的父亲是教师,用谓词逻辑可以表示为Teacher(father(Liming)),这里father(Liming)是()

A、常量

B、函数

C、变元

D、一元谓词

正确答案:函数


Tag:谓词 函数 常量 时间:2024-05-22 22:48:10

相关答案

热门答案