三值Lukasiewicz命题逻辑L3^＊中的任何公式的赋值均为0,1/2,1中的某个元素.0,1/2,1及其上定义的运算 ,→构成三元MV代数.根据规定的......