【摘要】 三值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*中的公式导出.更多还原

【Abstract】 The assignment of any formula of three-valued Lukasienicz propositional logic L3* is one of the elements in set 0,1/2,1.set {0,1/2,1} with the operation ■,→ on it constitutes three- element MV algebra.According to the character of operations ∧,∨,■,→ among elements of set 0,1/2,1,it is constructively proved that for a given function f∶0,1/2,1n→0,1/2,1,it can be induced from a formula of three-valued lukasiewicz propositional logic L3* if and only if it satisfies certain conditions.更多还原