位置:成果数据库 > 期刊 > 期刊详情页
多值逻辑中的命题相关性与逻辑运算研究
  • 期刊名称:北京科技大学学报,Vol.29(No.S2),172-177,2007年12月(EI:0808111
  • 时间:0
  • 分类:TP18[自动化与计算机技术—控制科学与工程;自动化与计算机技术—控制理论与控制工程]
  • 作者机构:[1]北京科技大学信息工程学院, [2]北京科技大学信息工程学院 北京100083, [3]北京100083
  • 相关基金:国家自然科学基金资助项目(60573014);国家高技术研究发展计划(863计划)资助项目(2006AA01z140)
  • 相关项目:Zadeh-模糊集合理论的错误和缺点及其改进
中文摘要:

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

同期刊论文项目
期刊论文 11 会议论文 1 著作 1
同项目期刊论文