-
题名n元三值函数可由L3^＊中公式导出的充要条件
- 1
-
-
作者
王永安
-
机构
西安文理学院数学系
-
出处
《西安工业大学学报》
CAS
2009年第5期500-504,共5页
-
基金
国家自然科学基金资助项目(10331010)
-
文摘
三值Lukasiewicz命题逻辑L3*中的任何公式的赋值均为0,1/2,1中的某个元素.0,1/2,1及其上定义的运算■,→构成三元MV代数.根据规定的0,1/2,1中元素之间运算∧,∨,■,→的特点,构造性地证明了对于给定的n元三值函数f∶0,1/2,1n→0,1/2,1,当且仅当f满足一定条件时,f均可由L3*中的公式导出.
-
关键词
三值Lukasiewicz命题逻辑L3*
三元mv代数
函数f∶0
1/2
1n→0
1/2
1
导出函数
充要条件
-
Keywords
three-valued lukasienicz propositional logic L^3＊
three-element mv algebra
function f ：{ 0, 1/2,1 }^n→ { 0, 1/2,1 }
induced function
sufficient and necessary condition
-
分类号
O141.1
[理学—数学]
-
