有理可依的放缩法

能求和的数列和式中的项具备着自身的特征,如等差数列、等比数列、差比数列、周期数列等.不能求和的数列和式的项不具备这些特征.我们以这些特征为转化目标,以学过的知识为桥梁,逐项放缩,从而证明数列不等式成立.

格值命题逻辑系统L9P(X)中的自动推理算法

给出了格值命题逻辑系统L9P(X)上的放缩原理和放缩归结原理,基于放缩归结原理,给出了一种判断L9P(X)上子句集S为M-可满足的自动推理算法(这里M为L9上的中界元),并证明了其可靠性和完备性。