论文部分内容阅读
在n值(L)ukasiewicz命题逻辑中提出了命题集T的约简理论,引入由命题集F所诱导的形式背景的概念,从T及其子集的关系出发给出了n值命题逻辑中有限命题集T约简的判定定理以及求T约简的方法.说明了无穷值(L)ukesiewicz命题逻辑中命题集T的约简可转化为n值情形.
(L)ukasiewicz命题逻辑系统中有限命题集的约简理论
【摘 要】
：
在n值(L)ukasiewicz命题逻辑中提出了命题集T的约简理论,引入由命题集F所诱导的形式背景的概念,从T及其子集的关系出发给出了n值命题逻辑中有限命题集T约简的判定定理以及求T
【机 构】
：
西安邮电学院应用数理系,西安,710121;
【出 处】
：
计算机工程与应用
【发表日期】
：
2009年7期
其他文献
众所周知:“学起于思,思源于疑。”“小疑则小进,大疑则大进。”可见疑是思之始、学之端。教师在教学中科学而巧妙地设计问题情景,运用各种教学方法、教学媒体,能有效地激发
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
在你心目中早餐应该是什么样子的？千篇一律的白菜煮面条？营养却普通得不能再普通的稀饭？NO！NO！NO！我告诉你：在我伟大又智慧的妈妈面前，就是普普通通的早饭，它也能开出花儿来！ 我很挑食，雖然知道不好，可还是挑。我讨厌吃茄子，软不拉几的，一点儿嚼（jiáo）劲也没有。我讨厌吃白菜，半天嚼不烂，难吃死了。我讨厌吃洋葱，闻到那股刺鼻气味就直反胃…… 因为挑食，我已经荣获了“营养不良”和“体重不达标
期刊
证券投资学是一门具有较强综合性、实践性和应用性的课程,为了让学生认真掌握这门功课的核心内容,并能将知识活学活用、学以致用,需要不断探索证券投资学教学方法。
Securit
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥