单项选择题

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

A.常量
B.一元谓词
C.函数
D.变元
微信扫码免费搜题