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