1．
与命题逻辑的公理系统相比，谓词逻辑的公理系统增加的内容主要体现在______。（6.1节）
（A）形成规则
（B）公理
（C）变形规则
（D）以上三部分都有增加
2． 由谓词逻辑完备性定理，谓词逻辑任一______的公式都是可以证明的。（6.1节）
（A）普遍有效
（B）可满足
（C）不可满足
（D）以上都不对
3． 与谓词逻辑的公理系统相比较，谓词逻辑的自然演绎系统的主要特点是______。（6.2节）
（A）理论上存在的函数
（B）定义不同
（C）没有公理
（D）便于计算机证明
4． 递归函数是一种______。（6.3节）
（A）理论上存在的函数
（B）构造性函数
（C）不可计算的函数
（D）以上都不对
5． 相等词可看作一种______。（6.4节）
（A）一元谓词
（B）二元谓词
（C）多元谓词
（D）以上都不对
6． 摹状词是______。（6.4节）
（A）一种谓词
（B）专有名词
（C）描述特定个体的短语
（D）以上都不对
7． 依公理系统证明├
。（6.1节）
8． 依公理系统证明├
。（6.1节）
9． 依自然演绎系统证明 ├
。（6.2节）
10． 依自然演绎系统证明├
。（6.2节）
|