【摘 要】
：
三值Lukasiewicz命题逻辑L3^＊中的任何公式的赋值均为0,1/2,1中的某个元素.0,1/2,1及其上定义的运算 ,→构成三元MV代数.根据规定的0,1/2,1中元素之间运算∧,∨, ,→的特点,构
【基金项目】
：
国家自然科学基金资助项目（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^＊中的公式导出.
其他文献
课堂教学是一个热门话题、大众话题，学生和老师为它有艰辛的付出，有无限的感慨，家长及社会对它有全力的支持、有殷切的期望。回顾人生，有意义的旅途就是从课堂教学开始的，无论大、中、小学乃至幼儿园的教育，还是中国和外国的教育，历史的和现实的、今天和明天的教育，无一例外都是以课堂教学为主体进行的。可以说课堂教学是素质教育的主渠道，是教育改革的前沿，是锻炼人才的大熔炉，是民族兴旺的发祥地!因此，面对课堂教学，
五洲大药房与项松茂五洲大药房创设于1907年,是我国医药界的著名企业,首创药房办药厂,创制名牌固本肥皂,压倒洋皂,为国家争利权,至1929年资本增至150万元,1931年营业额764万
船舶尾流形貌包含着船舶类型、船舶吨位、船舶航速等方面的信息，对尾流目标的识别是船舶识别的一种有用途径．论述了随机梯度遗传算法的原理、特点及运算步骤，将该算法应用于船舶