刘宏岚, 高庆狮, 杨炳儒. 多值逻辑中的命题相关性与逻辑运算研究[J]. 工程科学学报, 2007, 29(S2): 172-177. DOI: 10.13374/j.issn1001-053x.2007.s2.102
引用本文: 刘宏岚, 高庆狮, 杨炳儒. 多值逻辑中的命题相关性与逻辑运算研究[J]. 工程科学学报, 2007, 29(S2): 172-177. DOI: 10.13374/j.issn1001-053x.2007.s2.102
LIU Honglan, GAO Qingshi, YANG Bingru. Proposition relativity and logic calculation in many-valued logic[J]. Chinese Journal of Engineering, 2007, 29(S2): 172-177. DOI: 10.13374/j.issn1001-053x.2007.s2.102
Citation: LIU Honglan, GAO Qingshi, YANG Bingru. Proposition relativity and logic calculation in many-valued logic[J]. Chinese Journal of Engineering, 2007, 29(S2): 172-177. DOI: 10.13374/j.issn1001-053x.2007.s2.102

多值逻辑中的命题相关性与逻辑运算研究

Proposition relativity and logic calculation in many-valued logic

  • 摘要: 命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决定的值属性,并不能代表整个命题.逻辑运算是命题的运算,不是真值的运算.多值逻辑中,命题逻辑运算结果由命题的关系决定,真值相同的不同命题,逻辑运算结果的真值不一定相同,逻辑运算不是处处同态于某一个或某一簇真值函数(算子),有时复合命题的真值不能被它的成分命题的真值完全确定,所以多值逻辑的联结词并不总能定义成真值函数(算子)的形式.多值逻辑的命题公式不能再看作真值函数,命题公式是关于命题的函数.

     

    Abstract: Attribute of a proposition includes structure attribute and value attribute.The structure of a proposition determines the truth value of the proposition,the relationship between the propositions,and the logic calculation result.The truth value of the proposition is only a value attribute determined by the structure of a proposition,it cannot stand for the whole proposition.And logic calculation is the calculation between the propositions,not the calculation between the truth values.In the many-valued logic,proposition logic calculation result is decided by the relationship of propositions.The different propositions with the same truth value would not always have the same logic calculation result.Logic calculation is not always homomorphic with a certain operator or a group of operators(the functions of truth value).Sometimes,the truth value of composite proposition cannot be fully determined by the truth values of the member propositions.Therefore,the conjunction of the many-valued logic cannot always be defined by the form of the functions of truth value(operators).The proposition formula in many-valued logic cannot be considered as the function of the truth value.The proposition formula is the function of proposition.

     

/

返回文章
返回