计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (16): 55-59.DOI: 10.3778/j.issn.1002-8331.2010.16.016

• 研究、探讨 • 上一篇    下一篇

连续值命题逻辑中公式的条件相对重言度理论

谭桂梅1,于西昌2   

  1. 1.聊城大学 图书馆,山东 聊城 252059
    2.聊城职业技术学院,山东 聊城 252000
  • 收稿日期:2008-11-14 修回日期:2009-02-02 出版日期:2010-06-01 发布日期:2010-06-01
  • 通讯作者: 谭桂梅

Theory of conditional relative Γ-tautology degree of formulas in continuous value propositional logic system

TAN Gui-mei1,YU Xi-chang2   

  1. 1.Liaocheng University Library,Liaocheng,Shandong 252059,China
    2.Liaocheng Vocational and Technical College,Liaocheng,Shandong 252000,China
  • Received:2008-11-14 Revised:2009-02-02 Online:2010-06-01 Published:2010-06-01
  • Contact: TAN Gui-mei

摘要: 基于Lukasiewicz命题逻辑系统提出一般性的赋值密度函数,定义了公式的概率真度、条件概率真度的概念,引入了公式的条件相对Γ-重言度,并给出了若干性质。利用公式的条件相对Γ-重言度,定义了公式间的条件相对Γ-相似度,进而导出了伪距离。

关键词: 赋值密度函数, 条件概率真度, 条件相对Γ-重言度, 条件相对Γ-相似度, 伪距离

Abstract: The valuation density function of formulas in the Lukasiewicz propositional logic system is proposed.The definitions of probability truth degree and conditional probability truth degree for formulas in the Lukasiewicz propositional logic system are proposed.The concept of conditional relative Γ-tautology degree of formulas is proposed,and its basic properties are obtained.The conditional relative Γ-similarity degree between formulas is defined by means of conditional relative Γ-tautology degree,and a pseudo-distance between formulas is then introduced.

Key words: valuation density function, conditional probability truth degree, conditional relative Γ-tautology degree, conditional relative Γ-similarity degree, pseudo-distance

中图分类号: