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