基于均匀概率空间的无穷乘积,通过考虑使某一公式的赋值不小于(或大于)ζ(ζ∈[0,1])的那些赋值映射之集在总赋值集合中所占的份额,在n值R0-命题逻辑系统L*n中引入公式的ζ-真度及ζ+-真度概念,从而将重言式的概念进行双重程度化;提出了σ-(ζ-重言式)和σ-(ζ+-重言式)理论;研究了ζ-真度(ζ+-真度)与广义重言式及程度化的广义重言式之间的关系,给出了广义真度推理规则.
By means of the infinite product of evenly distributed probability spaces,the proportion of the class of valuation which satisfies v(A)≥ζ(or v(A)>ζ,where ζ∈) in the set of all valuations is considered and the concepts of ζ-truth degree and ζ+-truth degree in n-valued R0-propositional logic system Ln are introduced in order to double-grade the concept of tautology.Also,the theories of σ-(ζ-tautology) and σ-(ζ+-tautology) are defined.Moreover,relationships between ζ-truth degree(ζ+-truth degree) and gene...