切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
“中介”谓词逻辑演算MF的特征问题
“中介”谓词逻辑演算MF的特征问题
来源 :贵州大学学报:自然科学版 | 被引量 : 0次 | 上传用户:kpqkxx03592
【摘 要】
:
本文通过引入三值结构获得并证明了“中介”逻辑系统 MF(MF~*)的可靠性与完全性定理。
【作 者】
:
李祥
李广元
【机 构】
:
贵州大学数学系,贵州大学数学系贵阳
【出 处】
:
贵州大学学报:自然科学版
【发表日期】
:
1988年3期
【关键词】
:
三值结构
“中介”逻辑系统
MF(MF)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文通过引入三值结构获得并证明了“中介”逻辑系统 MF(MF~*)的可靠性与完全性定理。
其他文献
新现实主义论——对一种文学潮流的把捉和预测
A 一个旗帜林立的时代,一股理论探索的热潮这是一个旗帜林立的时代。这是一个口号、理论满天飞的时代。这也是一个形形色色的概念,符号、系统层出不穷的时代。的确有一些旗帜
期刊
文学潮流
柯云路
新时期文学
李向南
毫无意义
毛泽东诗词
八十年代
反思文学
贺敬之
刘心武
浅谈高职学生如何迈开包装设计第一步
在平面设计教学中,部分高职学生在初学包装设计时难以很好地把握包装设计的目的性。部分学生认为包装设计只要标志独特、字体方正清晰、图形丰富有变化、色彩与包装设计内容
期刊
包装设计
市场调研
设计定位
设计构思
38例后尿道结石超声诊断分析
目的:分析后尿道结石的声像图特点,探讨超声对后尿道结石的诊断价值。方法:在膀胱适度充盈时,经腹壁耻骨联合上超声扫查并结合会阴部扫查后尿道结石,以提高超声对后尿道结石的
期刊
后尿道结石
超声
诊断
一个具有约束的指派问题
本文提出的具有约束的指派问题是指派问题的推广。具有约束的指派问题可以化为指派问题进行求解。
期刊
指派问题
约束
最优解
assignment problemconstrained assignment problem
中职学前教育专业主题生活化美术教学内容和形式的研究
教师根据教学需要,将中职学前教育专业美术课程统整为若干主题,积极开展生活化教学,通过对"一主八化"教学内容、"三步六法"教学形式的研究,可使美术教学更具就业针对性,更能
期刊
主题生活化美术教学
教学内容
教学形式
小学美术教学中学生个性培养的创新思路
小学阶段是学生能力培养的基础与关键时期,对学生的创新思维和个性发展皆具有重要意义。特别是在素质教育的推动下,小学教育正在向重视学生综合能力培养的方向发展。美术教学
期刊
小学
美术教学
个性培养
创新思路
带等词的“中介”谓词逻辑演算ME^*的三值特征定理
通过在三值结构中引入“三值相等关系”,获得并证明了带等词的“中介”谓词逻辑演算ME~*的三值特征定理:可靠性与完全性定理。
期刊
中介逻辑ME^*
三值相等关系
等词
'medium' logic ME
three-valued equality relations
t
小学美术课堂中图像识读能力培养探究
美术教育能够通过教学使学生实现对视觉形象的感知、理解和创造,进而帮助学生形成核心素养。该文作者探究如何通过日常教学让学生形成美术学科核心素养,尤其是图像识读核心素
期刊
小学美术
美术学科核心素养
图像识读
ELISA法检测乙肝病毒抗-HBc和抗-HBe假阳性原因分析
目的:通过分析影响酶联免疫吸附试验(ELISA)检测乙肝病毒血清抗-HBe与抗-HBc出现假阳性的因素,旨在找出一些克服办法。方法:对采用酶联免疫吸附试验(ELISA)2次检测出的78例抗-HBc阳
期刊
酶联免疫吸附试验(ELISA)
时间分辨荧光免疫分析(TRFIA)
抗-HBE
抗-HBC
假阳性
丁晓一 靳秀英 王玉帅 闫留学作品
期刊
与本文相关的学术论文