命题逻辑系统中理论的发散度与近似推理的若干性质

摘要

基于演绎定理和完备性定理研究了二值命题逻辑系统、Lukasiewicz命题逻辑系统和R0-命题逻辑系统的理论的发散度与近似推理,获得了用Γ中公式的真度表示其发散度的计算公式和若干可用于近似推理的不等式。