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节)
|