名词解释什么是主项; 主项名词解释定义是什么?
名词解释什么是谓词逻辑; 谓词逻辑名词解释定义是什么?
名词解释什么是谓词演算; 谓词演算名词解释定义是什么?
名词解释什么是论域; 论域名词解释定义是什么?
名词解释什么是公理; 公理名词解释定义是什么?
