【摘要】 基于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.更多还原