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