陕西师范大学学报(自然科学版)
陝西師範大學學報(自然科學版)
협서사범대학학보(자연과학판)
JOURNAL OF SHAANXI NORMAL UNIVERSITY(NATURAL SCIENCE EDITION)
2009年
2期
1-5,12
,共6页
广义重言式%ζ-真度%σ-(ζ-重言式)%广义真度推理规则
廣義重言式%ζ-真度%σ-(ζ-重言式)%廣義真度推理規則
엄의중언식%ζ-진도%σ-(ζ-중언식)%엄의진도추리규칙
基于均匀概率空间的无穷乘积,通过考虑使某一公式的赋值不小于(或大于)ζ(ζ∈[0,1])的那些赋值映射之集在总赋值集合中所占的份额,在n值R0-命题逻辑系统L*n中引入公式的ζ-真度及ζ+-真度概念,从而将重言式的概念进行双重程度化;提出了σ-(ζ-重言式)和σ-(ζ+-重言式)理论;研究了ζ-真度(ζ+-真度)与广义重言式及程度化的广义重言式之间的关系,给出了广义真度推理规则.
基于均勻概率空間的無窮乘積,通過攷慮使某一公式的賦值不小于(或大于)ζ(ζ∈[0,1])的那些賦值映射之集在總賦值集閤中所佔的份額,在n值R0-命題邏輯繫統L*n中引入公式的ζ-真度及ζ+-真度概唸,從而將重言式的概唸進行雙重程度化;提齣瞭σ-(ζ-重言式)和σ-(ζ+-重言式)理論;研究瞭ζ-真度(ζ+-真度)與廣義重言式及程度化的廣義重言式之間的關繫,給齣瞭廣義真度推理規則.
기우균균개솔공간적무궁승적,통과고필사모일공식적부치불소우(혹대우)ζ(ζ∈[0,1])적나사부치영사지집재총부치집합중소점적빈액,재n치R0-명제라집계통L*n중인입공식적ζ-진도급ζ+-진도개념,종이장중언식적개념진행쌍중정도화;제출료σ-(ζ-중언식)화σ-(ζ+-중언식)이론;연구료ζ-진도(ζ+-진도)여엄의중언식급정도화적엄의중언식지간적관계,급출료엄의진도추리규칙.