二值命题逻辑中限制逻辑等价关系及其应用  

The restricted logic equivalence relation in two-valued propositional logic and its applications

作　　者：亓正坤[1] 王廷明[2] 丁洁玉[3] 

机构地区：[1]青岛大学国际学院,山东青岛266061 [2]青岛大学师范学院,山东青岛266071 [3]青岛大学信息工程学院,山东青岛266071

出　　处：《东北师大学报（自然科学版）》2012年第2期22-25,共4页Journal of Northeast Normal University(Natural Science Edition)

基　　金：国家自然科学基金资助项目(11002075)

摘　　要：给出了(F(S),ρ)中公式的一种逻辑等价分解,利用这种逻辑等价分解讨论公式的真度、伪距离和相似度的计算问题,并且引入了(F(S′),ρ)中公式的限制逻辑等价概念,建立了一种等价关系.作为限制逻辑等价关系的应用,得到了(F(S),ρ)中基于真度的τ(A→X)=α型逻辑方程的解集,利用限制逻辑等价关系进行的一种相等"直径"的子集划分结果,为二值命题逻辑系统的逻辑推理和程度化的进一步研究提供了方法.A kind of logical equivalence decomposition of the formula in is presented and applied to discuss the calculating issues of the truth degree,pseudo metric and similarity degree of the formula.With the introduction of restricted logic equivalence,an equivalence relation is established and applied to obtain the subset＇s partition of the solution set of logical equation based on the truth degree by the equal ＇diameter＇ method,which provides useful methods for further research of the logical reasoning and grading in two-valued propositional logic system.

关 键 词：二值命题逻辑 真度 限制逻辑等价 逻辑方程 解集 

分 类 号：O141.3[理学—数学]