首页
›
答案
›
题库
›
知到智慧树
›
未分类
在Tarski’s World的模块语言中,刻画性质和关系的谓词有()。
在Tarski’s World的模块语言中,刻画性质和关系的谓词有()。
A.一元谓词
B.二元谓词
C.三元谓词
D.四元谓词
正确答案:一元谓词;二元谓词;三元谓词
标签:
谓词
模块
性质
上一条:
在Tarski’s World的模块语言中,个体变项是()。
下一条:
非形式证明和形式证明在风格上不同。