桂林航天工业学院学报
桂林航天工業學院學報
계림항천공업학원학보
Journal of Guilin College of Aerospace Technology
2013年
4期
412-416
,共5页
随机真度%随机逻辑度量空间%稠密性%连续性
隨機真度%隨機邏輯度量空間%稠密性%連續性
수궤진도%수궤라집도량공간%주밀성%련속성
在赋值域为W ＝[0,1]的 Lukasiewicz 命题逻辑系统 Luk 中展开研究,对在命题逻辑系统 Luk 中李修清等得到的随机逻辑度量空间进行进一步研究。证明了随机逻辑度量空间中没有孤立点,即命题逻辑系统 Luk 中的命题公式在该空间中是稠密的；研究了逻辑运算子在随机逻辑度量空间中的连续性,证明了在李修清等给出的随机逻辑度量空间中,命题算子关于运算?、∨与→是连续的。
在賦值域為W ＝[0,1]的 Lukasiewicz 命題邏輯繫統 Luk 中展開研究,對在命題邏輯繫統 Luk 中李脩清等得到的隨機邏輯度量空間進行進一步研究。證明瞭隨機邏輯度量空間中沒有孤立點,即命題邏輯繫統 Luk 中的命題公式在該空間中是稠密的；研究瞭邏輯運算子在隨機邏輯度量空間中的連續性,證明瞭在李脩清等給齣的隨機邏輯度量空間中,命題算子關于運算?、∨與→是連續的。
재부치역위W ＝[0,1]적 Lukasiewicz 명제라집계통 Luk 중전개연구,대재명제라집계통 Luk 중리수청등득도적수궤라집도량공간진행진일보연구。증명료수궤라집도량공간중몰유고립점,즉명제라집계통 Luk 중적명제공식재해공간중시주밀적；연구료라집운산자재수궤라집도량공간중적련속성,증명료재리수청등급출적수궤라집도량공간중,명제산자관우운산?、∨여→시련속적。
