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

Classical symmetrical logic metric sub-space and its properties

作　　者：楼志刚[1] 刘宏昭[1] 胡明娣[2] 

机构地区：[1]西安理工大学机械与精密仪器工程学院,西安710048 [2]西安邮电大学通信与信息工程学院,西安710121

出　　处：《计算机工程与应用》2013年第5期40-43,共4页Computer Engineering and Applications

基　　金：陕西省基金项目(No.102-00X903)

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

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

分 类 号：O159[理学—数学]