摘要
二值命题逻辑系统中理论的结论集是逻辑推理研究的基本对象,对其结构进行分析是逻辑推理研究中需要解决的问题。通过公式是有限理论结论的结构性条件,引入了有限理论结论的基于有限理论根的余式概念,在逻辑等价意义下将有限理论的结论分解成理论的根和对应的余式两部分,并进一步讨论了余式的性质。利用有限理论结论集的一般表示,得到了结论集的相关结果,为二值命题逻辑系统的逻辑推理和程度化的进一步研究提供方法。
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 parts, the root of the theory and the corresponding remainder function. Meanwhile the further discussion concen- trates on the properties of the remainder function. According to the general expression of the finite theory conclusion set, the relevant results of the conclusion set can be used as the methods which are favorable to the further study of the logical reasoning in two-valued propositional logic.
出处
《青岛大学学报（自然科学版）》
CAS
2011年第2期1-4,共4页
Journal of Qingdao University(Natural Science Edition)
关键词
二值命题逻辑
有限理论
逻辑等价
根
余式
two-valued propositional logic finite theory
logical equivalence
root
remainder function
