1.
命题逻辑的公理系统可简述为______。(3.1节)
(A) 用来建立公理的系统
(B) 用公理产生推理规则的系统
(C) 用来完善已有公理的系统
(D) 从精选的几条公理出发,根据规定的演绎规则,推导出一系列定理的形式符号系统
2. 通常一个公理系统包括以下哪几个部分______。(3.2节)
(A)初始符号
(B)形成规则
(C)公理
(D)变形规则
(E)建立定理
(F)以上所有部分
3. 所有成立的定理都可由所建立的公理系统中推演出来,这称为______。(3.3节)
(A)可靠性
(B)完备性
(C)正确性
(D)推演性
4. 已介绍的一个便于计算机来实现定理证明的公理系统称为______。(3.4节)
(A)演绎定理
(B)自然演绎系统
(C)王浩算法
(D)非标准逻辑
5. 使用经典的公理系统进行定理的推演,所使用的推演规则包括______。(3.2节)
(A)代入规则
(B)分离规则
(C)置换规则
(D)前提引入规则
(E)前三个规则
(F)以上所有规则
6. 自然演绎系统与公理系统的主要区别在于______。(3.5节)
(A)没有公理
(B)初始符号不同
(C)定义不同
(D)变形规则不同
7. 与古典逻辑(已介绍的普通命题逻辑)有相违背之处或对古典逻辑进行扩充的其它逻辑统称为______。(3.6节)
(A)多值逻辑
(B)模糊逻辑
(C)模态逻辑
(D)时态逻辑
(E)非标准逻辑
8. 在前两章中出现的一些等值公式,在公理系统中可以如下哪种方式出现______。(3.2节)
(A)不同的初始符号
(B)新的形成规则
(C)定义
(D)公理
(E)变形规则
9. 依公理系统证明:├ 。(3.2节)
10. 依公理系统证明:├
。(3.2节)
|