检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:李修清[1]
机构地区:[1]桂林航天工业学院理学部,广西桂林541004
出 处:《计算机工程与应用》2016年第8期25-28,共4页Computer Engineering and Applications
基 金:广西壮族自治区教育厅科研项目(No.201106LX709)
摘 要:在n值Lukasiewicz命题逻辑系统中引入公式的ξ-条件真度的概念,引入理论的ξ-条件开放度的概念,得到了ξ-条件真度的一些基本性质,证明了全体原子公式之集S={q1q2}不是ξ-条件全开放的,其是否条件全开放取决于给定的随机概率分布。The concepts of ξ- conditional truth degree of formulas and ξ- conditional opening degree of a theory are introduced in n- valued Lukasiewicz propositional logical system. Some basic properties of ξ- conditional truth degree are studied. It is proved that the set of atomic formulas is not totally ξ- conditional opening. It is totally ξ- conditional opening or not is decided by the randomized probability distribution.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:13.58.215.45