有限理论结论基于根的余式和结论集的表示

二值命题逻辑系统中理论的结论集是逻辑推理研究的基本对象，对其结构进行分析是逻辑推理研究中需要解决的问题。通过公式是有限理论结论的结构性条件，引入了有限理论结论的基于有限理论根的余式概念，在逻辑等价意义下将有限理论的结论分解成理论的根和对应的余式两部分，并进一步讨论了余式的性质。利用有限理论结论集的一般表示，得到了结论集的相关结果，为二值命题逻辑系统的逻辑推理和程度化的进一步研究提供方法。

The Finite Theory Conclusion Based on the Root'Remainder Function and the Expression for the Conclusion Set

The conclusion set is the basic object of the logical reasoning study in two-valued propositional logic system.And the analysis of the set structure is also the question which should be solved in the logical reasoning study.The transit formula can be seen as the structural condition,and introduce the definition of the remainder function,which is based on the root of finite theory,into the finite theory conclusion.Therefore,under the logical equivalence,the finite theory conclusion could be divided into two ...