名词解释什么是谓词演算; 谓词演算名词解释定义是什么?
名词解释什么是论域; 论域名词解释定义是什么?
名词解释什么是公理; 公理名词解释定义是什么?
名词解释什么是公理系统; 公理系统名词解释定义是什么?
名词解释什么是矛盾式; 矛盾式名词解释定义是什么?
