【摘 要】
：
讨论了剩余类蕴涵算子之一Lukasiewicz蕴涵算子的导出算子的三值系统L3和n值逻辑系统Ln（n〉3），首先给出了L3的真值表，它是C2真值表的扩充，它也保持MP规则和正则性，接下来讨论了b中
【机 构】
：
安徽大学数学学院,淮南师范学院数学与计算科学系
论文部分内容阅读
讨论了剩余类蕴涵算子之一Lukasiewicz蕴涵算子的导出算子的三值系统L3和n值逻辑系统Ln（n〉3），首先给出了L3的真值表，它是C2真值表的扩充，它也保持MP规则和正则性，接下来讨论了b中的重言式（tautology）与IPC（inmitionistic propositional calculus）公理之间的关系以及L3的准重言式与C2的重吉式之间的关系。最后考虑了Ln中的予代数及不同逻辑系统Ln中重言式的比较。
其他文献
作曲家、教育家、戏曲改革家马可自上个世纪50年代起,全身心投入戏曲音乐的教学与研究工作,并积极参与戏曲音乐改革工作,呕心沥血,对戏曲的改革与发展提出了许多有价值的观点
《淮南子》中的正义有合乎时宜、合理恰当之意。施行正义是为了调节君臣、父子等五伦关系,制止人之本性丧失,追求天下大治。圣人应贯彻＂不争＂,内修道术,作法制乐,随顺本性;国君
【正】济南市人民政府办公厅济政办字[2006]21号各县(市)、区人民政府,市政府各部门:根据《济南市首席技师选拔管理办法》,经选拔评审,确定戴勇等30名同志(具体名单附后)为首
【正】济南市人民政府任免通知济政任[2007]39号市物价局:市政府决定,免去:
从春秋战国到西汉,从氏族部落而方国,从方国而统一王朝,多元一体的中华多民族国家形成,从诸子百家到以儒学为核心的中华民族思想体系是这一伟大的历史进程的组成部分。《淮南
【正】济南市人民政府济政字[2006]18号历城区政府:你区《关于七里堡路命名的请示》(济历城政[2006]15号)收悉。经研究,同意将位于历城区洪家楼街道办事处辖区内,东起二环东
【正】济政发[2006]21号各县(市)、区人民政府,市政府各部门:现将《济南市建设创新型城市若干政策》印发给你们,望认真贯彻执行。
【正】济南市人民政府任免通知济政任[2006]22号市司法局:市政府决定,任命:肖阳为济南市司法局副局长;裴锡新为济南市普法办公室副主任(试用期一年)。
从对教师自身的发展要求和教师对学生的引导两方面来探究高中语文的课堂效率问题。要求教师与时俱进、博学慎思，对待学生也应以引导为主。
【正】济南市人民政府办公厅文件济政办发[2006]12号各县(市)、区人民政府,市政府有关部门:市政府教育督导室《关于2005年度教育工作综合督导评估情况的意见》已经市政府同意