2.2.2 命题逻辑的归结 　　归结法推理的核心是求两个子句的归结式，因此需要先讨论归结式的定义和性质。 　　归结式的定义