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

Convergence of formula sequence in two-valued propositional logic

作　　者：李骏[1] 蒙頔[1] 

机构地区：[1]兰州理工大学理学院,甘肃兰州730050

出　　处：《兰州理工大学学报》2016年第4期148-151,共4页Journal of Lanzhou University of Technology

基　　金：国家自然科学基金(11261032)

摘　　要：在二值命题逻辑系统中给出公式列按真度收敛的定义,研究公式列按度量收敛、按赋值收敛及按真度收敛的性质,给出三种收敛各自的充分必要条件,在公式列是有限原子的条件下证明公式列按度量收敛、按赋值收敛及按真度收敛是相互等价的.Convergence of a sequence of formulas in terms of truth degree is defined in two valued propositional logic system. Properties of such convergences of a given sequence of formulas are studied. Necessary and sufficient conditions for these three kinds of convergences are obtained respectively. In the end, it is proved that the three kinds of convergenees of a given sequence of formulas are equivalent to each other when the sequence of formulas is finite atoms.

关 键 词：逻辑度量空间 度量收敛 赋值收敛 真度收敛 

分 类 号：O141.1[理学—数学]