三值ukasiewicz逻辑系统中公式的向量表示及其研究-计算机科学与探索.PDFVIP

贺锦瑞，惠小静，双靖宁.三值Łukasiewicz 逻辑系统中公式的向量表示及其研究[J].计算机科学与探索，2015 ，9（9）：1147- 1152. ISSN 1673-9418 CODEN JKYTA8 E-mail: fcst@vip. 163.com Journal of Frontiers of Computer Science and Technology 1673-9418/2015/09(09)- 1147-06 Tel: +86- 10 doi: 10.3778/j.issn. 1673-9418.1411023 三值Łukasiewicz 逻辑系统中公式的向量表示及其研究 + 贺锦瑞，惠小静 ，双靖宁 延安大学 数学与计算机科学学院，陕西 延安 716000 Research on Vector Representation of Formula in Three-Valued Łukasiewicz Propo- sitional Logic System + HE Jinrui, HUI Xiaojing , SHUANG Jingning College of Mathematics and Computer Science, Yan ’an University, Yan ’an, Shaanxi 716000, China + Corresponding author: E-mail: 1223607029@ HE Jinrui, HUI Xiaojing, SHUANG Jingning. Research on vector representation of formula in three-valued Łukasiewicz propositional logic system. Journal of Frontiers of Computer Science and Technology, 2015, 9(9) ： 1147-1152. Abstract: Based on vector representation of formula of classical propositional logic system, this paper gives a vector representation of formula by using assignment and assignment order of formula in three-valued Łukasiewicz propo- sitional logic system. Firstly, this paper defines the truth degree of formula and gives the formula to calculate the similarity degree, pseudo-metric among formulas. Secondly, this paper obtains some simple properties of truth degree and similarity degree pseudo-metric among formulas. Thirdly, this paper proves that unary logical connection Ø, binary operation logical connections ®, Ú, Ùare continuous in pseudo-metric space (F (S)ρ) . The related conclusions o