对称逻辑度量次范整子空间及其性质

计算机工程与应用 ›› 2013, Vol. 49 ›› Issue (5): 40-43.

对称逻辑度量次范整子空间及其性质

楼志刚1，刘宏昭1，胡明娣2

1.西安理工大学机械与精密仪器工程学院，西安 710048
2.西安邮电大学通信与信息工程学院，西安 710121

出版日期:2013-03-01 发布日期:2013-03-14

Classical symmetrical logic metric sub-space and its properties

LOU Zhigang1, LIU Hongzhao1, HU Mingdi2

1.School of Mechanical and Precision Instrument Engineering, Xi’an University of Technology, Xi’an 710048, China
2.School of Telecommunication and Information Engineering, Xi’an University of Posts & Telecommunications, Xi’an 710121, China

Online:2013-03-01 Published:2013-03-14

摘要/Abstract

摘要： 在经典逻辑度量空间中定义了加法和数乘运算，利用公式的距离引入了经典逻辑度量空间中的范数的概念，从而证明了经典逻辑度量空间作成线性次范整空间。引入了次范整线性子空间的概念。证明了n元逻辑公式之集中的对称逻辑公式子集构成了次范整线性子空间，并讨论了该子空间的简单性质。

关键词: 对称布尔函数, 对称逻辑公式, 次范整线性空间, 真度, 对称逻辑子空间, 经典逻辑度量空间

Abstract: Addition and number multiplication are defined in the classical logic metric space, and the norm are introduced by using the degree of the formulas. It is proved that the classical logic metric space builds a Z（2）-normable linear logic space. The concept of a Z（2）-normable linear logic sub-space is introduced, according to the definition, it is proved that the set of n-symmetric logical formula constitutes the a Z（2）-normable linear logic sub-space. Some basic characters of the sub-space are discussed.

Key words: symmetric Boolean function；symmetric logic formula, Z（2）-normable linear logic space, norm, symmetric logic Z（2）-normable linear sub-space, classical logic metric space

楼志刚1，刘宏昭1，胡明娣2. 对称逻辑度量次范整子空间及其性质[J]. 计算机工程与应用, 2013, 49(5): 40-43.

LOU Zhigang1, LIU Hongzhao1, HU Mingdi2. Classical symmetrical logic metric sub-space and its properties[J]. Computer Engineering and Applications, 2013, 49(5): 40-43.

[1]	秦晓燕. 推广规则后一阶逻辑公式的准真度[J]. 计算机工程与应用, 2019, 55(6): 39-41.
[2]	李修清，张超权. 逻辑理论的随机相容度[J]. 计算机工程与应用, 2018, 54(3): 46-49.
[3]	王勇勇，惠小静. 增加[Δ]算子的Gödel[n]值命题逻辑系统理论的平均真度[J]. 计算机工程与应用, 2018, 54(19): 68-71.
[4]	朱乃调，惠小静，高晓莉，高姣. Gödel [n]值命题逻辑系统的真度理论[J]. 计算机工程与应用, 2017, 53(11): 67-72.
[5]	李燕. 概率逻辑学基本定理的推广及其应用[J]. 计算机工程与应用, 2017, 53(1): 54-56.
[6]	张超权，李修清. 三值命题逻辑系统中理论的随机发散度的分布[J]. 计算机工程与应用, 2017, 53(1): 69-72.
[7]	李修清. n值命题逻辑中的ξ-条件开放度[J]. 计算机工程与应用, 2016, 52(8): 25-28.
[8]	魏海新. n值Lukasiewicz命题逻辑系统中理论的相容度[J]. 计算机工程与应用, 2016, 52(5): 33-35.
[9]	李　　骏，李小兵. Lukasiewicz逻辑系统中理论的平均真度及偏差[J]. 计算机工程与应用, 2016, 52(4): 42-45.
[10]	蒙頔，李骏. n值命题逻辑中公式列的收敛性[J]. 计算机工程与应用, 2016, 52(22): 55-58.
[11]	袁凯峰. 二值逻辑系统中理论的随机发散度的分布[J]. 计算机工程与应用, 2016, 52(12): 49-52.
[12]	马巧云. 逻辑系统[L?n]中一类特殊公式的[ΣΓ]-真度[J]. 计算机工程与应用, 2016, 52(11): 34-37.
[13]	高永刚，徐涵秋. 利用FIHS和BT的遥感影像融合改进算法[J]. 计算机工程与应用, 2015, 51(23): 23-27.
[14]	马巧云1，吴洪博2. 多值逻辑公式间的伪距离的Boole函数表示[J]. 计算机工程与应用, 2015, 51(23): 38-41.
[15]	李修清. 命题公式的随机真度与推理规则[J]. 计算机工程与应用, 2015, 51(19): 66-70.