计算机工程与应用 ›› 2016, Vol. 52 ›› Issue (22): 55-58.

• 理论与研发 • 上一篇    下一篇

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

蒙  頔,李  骏   

  1. 兰州理工大学 理学院,兰州 730050
  • 出版日期:2016-11-15 发布日期:2016-12-02

Convergence of sequence of formulas in n-valued propositional logic

MENG Di, LI Jun   

  1. School of Science, Lanzhou University of Technology, Lanzhou 730050, China
  • Online:2016-11-15 Published:2016-12-02

摘要: 在[n]值[R0]命题逻辑系统中给出了公式列按真度收敛的定义,研究了公式列按度量收敛、按赋值收敛及按真度收敛的性质,给出了三种收敛各自的充分必要条件,在公式列是有限原子的条件下证明了公式列按度量收敛、按赋值收敛及按真度收敛是相互等价的。

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

Abstract: Convergence in truth degree for a sequence of formulas is defined in n-valued [R0] propositional logic. Properties of convergence in measure and convergence in assignment as well as convergence in truth degree for a given sequence of formulas are studied. Necessary and sufficient conditions for the three kinds of convergences are obtained respectively. In the end, it is proved that the three kinds of convergences for a given sequence of formulas are equivalent to each other when the sequence of formulas is finite atomic.

Key words: logic metric space, convergence in measure, convergence in assignment, convergence in truth degree