【本章小结】

   本章介绍了命题逻辑的公理化,是命题逻辑理论的系统化和抽象化,主要内容总结如下:
   1. 介绍了命题逻辑的公理系统的概念和基本结构,并以具有代表性的罗素公理系统为例,详细介绍了一个命题逻辑公理系统的构成;
   2. 通过大量定理推演的实例,给出了使用公理系统进行定理证明的过程和方法,此外,还对公理系统的完备性、可靠性和演绎定理做了简要的叙述;
   3. 详细介绍了命题逻辑的另一公理系统--王浩算法,给出了该算法的具体结构,并举例说明了使用该算法进行定理推演的过程;
   4. 介绍了不含公理的命题逻辑的自然演绎系统,并通过实例展示了该系统在定理证明中的异同;
   5. 概括介绍了非标准逻辑的概念,给出了几个典型的多值逻辑和模态逻辑。