论文部分内容阅读
通过在三值结构中引入“三值相等关系”,获得并证明了带等词的“中介”谓词逻辑演算ME~*的三值特征定理:可靠性与完全性定理。
带等词的“中介”谓词逻辑演算ME^＊的三值特征定理
【摘 要】
：
通过在三值结构中引入“三值相等关系”,获得并证明了带等词的“中介”谓词逻辑演算ME~*的三值特征定理:可靠性与完全性定理。
【机 构】
：
贵州大学数学系,贵州大学数学系贵阳,贵阳
【出 处】
：
贵州大学学报：自然科学版
【发表日期】
：
1989年4期
【基金项目】
：
国家自然科学基金资助课题
其他文献
本文通过对张大千先生的生平及艺术思想的研究，旨在发掘其艺术思想中的审美现代性。大千先生虽然艺术成就卓越，却灵魂孤独，这是艺术家在经历中国现代化进程中，面对社会理性与个人
1、艺术个性中的“真”、“善”价值取向武剑青属于解放后第一批成长起来的作家。至今他创作的文学作品已逾二百多万字,其中包括《云飞蟑》、《失去权力的将军》、《流星》、
他以稚嫩的歌喉唱出嘹亮的一声而震响中华文坛。他的早慧和早熟一半得力于他的资质,一半得力于其时——五十年代初宽容、进取、向上的人文环境。民族文化是他的乳母,他籍此培
在中职教育中,美术课程十分重要,对于培育学生的美术素养具有积极作用。为开展美术教育,学校和教师需要关注教育改革的宏观趋势,以先进的教育理论为导向,创新、重构美术教学
A 一个旗帜林立的时代,一股理论探索的热潮这是一个旗帜林立的时代。这是一个口号、理论满天飞的时代。这也是一个形形色色的概念,符号、系统层出不穷的时代。的确有一些旗帜
在平面设计教学中,部分高职学生在初学包装设计时难以很好地把握包装设计的目的性。部分学生认为包装设计只要标志独特、字体方正清晰、图形丰富有变化、色彩与包装设计内容
目的：分析后尿道结石的声像图特点,探讨超声对后尿道结石的诊断价值。方法：在膀胱适度充盈时,经腹壁耻骨联合上超声扫查并结合会阴部扫查后尿道结石,以提高超声对后尿道结石的
本文提出的具有约束的指派问题是指派问题的推广。具有约束的指派问题可以化为指派问题进行求解。
教师根据教学需要,将中职学前教育专业美术课程统整为若干主题,积极开展生活化教学,通过对"一主八化"教学内容、"三步六法"教学形式的研究,可使美术教学更具就业针对性,更能
小学阶段是学生能力培养的基础与关键时期,对学生的创新思维和个性发展皆具有重要意义。特别是在素质教育的推动下,小学教育正在向重视学生综合能力培养的方向发展。美术教学