青岛大学学报（自然科学版）
青島大學學報（自然科學版）
청도대학학보（자연과학판）
JOURNAL OF QINGDAO UNIVERSITY(NATURAL SCIENCE EDITION)
2011年
2期
1-4
,共4页
二值命题逻辑%有限理论%逻辑等价%根%余式
二值命題邏輯%有限理論%邏輯等價%根%餘式
이치명제라집%유한이론%라집등개%근%여식
二值命题逻辑系统中理论的结论集是逻辑推理研究的基本对象,对其结构进行分析是逻辑推理研究中需要解决的问题.通过公式是有限理论结论的结构性条件,引入了有限理论结论的基于有限理论根的余式概念,在逻辑等价意义下将有限理论的结论分解成理论的根和对应的余式两部分,并进一步讨论了余式的性质.利用有限理论结论集的一般表示,得到了结论集的相关结果,为二值命题逻辑系统的逻辑推理和程度化的进一步研究提供方法.
二值命題邏輯繫統中理論的結論集是邏輯推理研究的基本對象,對其結構進行分析是邏輯推理研究中需要解決的問題.通過公式是有限理論結論的結構性條件,引入瞭有限理論結論的基于有限理論根的餘式概唸,在邏輯等價意義下將有限理論的結論分解成理論的根和對應的餘式兩部分,併進一步討論瞭餘式的性質.利用有限理論結論集的一般錶示,得到瞭結論集的相關結果,為二值命題邏輯繫統的邏輯推理和程度化的進一步研究提供方法.
이치명제라집계통중이론적결론집시라집추리연구적기본대상,대기결구진행분석시라집추리연구중수요해결적문제.통과공식시유한이론결론적결구성조건,인입료유한이론결론적기우유한이론근적여식개념,재라집등개의의하장유한이론적결론분해성이론적근화대응적여식량부분,병진일보토론료여식적성질.이용유한이론결론집적일반표시,득도료결론집적상관결과,위이치명제라집계통적라집추리화정도화적진일보연구제공방법.
