二值命题逻辑中公式列的收敛性

发布时间：2018-09-17 14:14

【摘要】：在二值命题逻辑系统中给出公式列按真度收敛的定义,研究公式列按度量收敛、按赋值收敛及按真度收敛的性质,给出三种收敛各自的充分必要条件,在公式列是有限原子的条件下证明公式列按度量收敛、按赋值收敛及按真度收敛是相互等价的.
[Abstract]:In the binary propositional logic system, the definition of formula sequence convergence according to truth degree is given, the properties of formula sequence convergence by measure, assignment convergence and truth degree convergence are studied, and the necessary and sufficient conditions for each convergence are given. Under the condition that the formula sequence is finite atom, it is proved that the formula sequence converges according to the metric, the assignment convergence and the true degree convergence are equivalent to each other.
【作者单位】： 兰州理工大学理学院;
【基金】：国家自然科学基金(11261032)
【分类号】：O141.1

【相似文献】

相关期刊论文 前10条

1 张兴芳,孟广武;模糊谓词逻辑公式的有限和可数解释真度理论[J];聊城大学学报(自然科学版);2004年04期

2 王国俊,秦晓燕,周湘南;一类二值谓词逻辑中公式的准真度理论[J];陕西师范大学学报(自然科学版);2005年01期

3 张兴芳;王国俊;孟广武;;一阶模糊谓词逻辑公式的区间解释真度理论[J];模糊系统与数学;2006年02期

4 李友雨;张兴芳;李成允;;L*系统中由单个原子生成公式的真度分布[J];计算机工程与应用;2010年10期

5 于鹏;;真度方程组及其应用[J];计算机工程与应用;2012年07期

6 王国俊;;一类一阶逻辑公式中的公理化真度理论及其应用[J];中国科学:信息科学;2012年05期

7 秦晓燕;徐扬;刘熠;;二值谓词逻辑中公式的向量真度[J];模式识别与人工智能;2013年08期

8 张安英;李德胜;张兴芳;于西昌;;基于一阶模糊逻辑公式的有限解释真度的推理理论[J];聊城大学学报(自然科学版);2005年04期

9 李友雨;张兴芳;李成允;;公式真度的大小之比较[J];模糊系统与数学;2011年02期

10 李璧镜;;模态逻辑公式的真度理论[J];计算机工程与应用;2013年03期

相关会议论文 前1条

1 王廷明;吴伟民;;基于主范式的二值命题逻辑公式的真度[A];第一届中国智能计算大会论文集[C];2007年

相关重要报纸文章 前1条

1 本报评论员;标准要高 要求要严[N];邢台日报;2014年

相关博士学位论文 前1条

1 高健;飞行模拟器动感模拟系统逼真度研究[D];哈尔滨工业大学;2013年

相关硕士学位论文 前10条

1 郝国平;几类模糊逻辑系统中真度及近似推理研究[D];延安大学;2015年

2 张东晓;逻辑公式的语构真度和构造性三I算法[D];陕西师范大学;2006年

3 崔艳林;逼真度与仿真效用及仿真代价的关系研究[D];北京邮电大学;2014年

4 杨蓉;逼真度视角下的仿真效用与仿真代价的均衡研究[D];北京邮电大学;2014年

5 陈静;基于逼真度的建模与仿真过程管理方法及应用[D];北京邮电大学;2015年

6 高香妮;命题逻辑系统中理论的真度概念及其应用[D];陕西师范大学;2010年

7 周丽莉;两种模糊命题逻辑的公式的概率真度[D];辽宁师范大学;2007年

8 李慧玲;多值命题逻辑和直觉模糊命题逻辑公式的概率α-真度[D];辽宁师范大学;2007年

9 范欣;几种逻辑代数的剩余格刻画及命题逻辑系统中条件真度的比较[D];陕西师范大学;2011年

10 李小兵;n值S-MTL系统中公式的矛盾度理论及理论的平均真度[D];兰州理工大学;2014年

，

本文编号：2246184