切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
对一组换质位推理规则完备性和可靠性的证明
对一组换质位推理规则完备性和可靠性的证明
来源 :重庆工商大学学报:社会科学版 | 被引量 : 0次 | 上传用户:YIFEIFEI
【摘 要】
:
本文介绍了一组判定换质位推理是否正确的新规则,并对这一组规则的完备性和可靠性作了严格的证明。至此人们就可在实际推理中运用这一组规则来判定一个换质位推理是否正确。
【作 者】
:
田粟
周光明
【出 处】
:
重庆工商大学学报:社会科学版
【发表日期】
:
1993年3期
【关键词】
:
换质位推理
完备性
可靠性
证明
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文介绍了一组判定换质位推理是否正确的新规则,并对这一组规则的完备性和可靠性作了严格的证明。至此人们就可在实际推理中运用这一组规则来判定一个换质位推理是否正确。
其他文献
财务报表系统与办公自动化系统的对接与实现
很多单位的财务报表系统与办公自动化系统都是在不同的时期建设的.有的单位是先建立财务报表系统,再建立办公自动化系统,有的单位则可能相反.况且,即使同期建设,也可能因采用
期刊
办公自动化系统
财务报表系统
互连互通
单位
三峡强德勒红心柚果实疏果套袋试验
近几年来,本地栽培的美国强德勒红心柚销售不畅,2013年针对遴选的科技示范户李兴梅的24株1492个强德勒红心柚进行果实大小、果皮果肉组成等相关质量分析,其平均柚果重量只有8
期刊
柚果
疏果
套袋试验
配套管理措施
兴梅
柚园
柚树
对比试验
质量分析
为害率
我国转让定价税制存在的问题及完善建议
本文主要分析了我国现行转让定价税制存在的问题,提出了进一步完善转让定价税制的建议。
期刊
跨国公司
转让定价
避税
税制
爱车也要吹吹风
在潮湿多雨的季节。汽车常因进水或受潮产生种种故障,如果一时找不到修理厂。吹风机也能解决一些问题。
期刊
吹风机
修理厂
汽车
浅议仪表准确度等级的标法
电压仪表准确度等级有两种标法,例如1.5级电压表一种标法是“1.5”,另一种是“1.5”,有些教材将两者混淆起来,其实这两种标法含义是不同的。
期刊
标法
准确度等级
误差
电压仪表
普通物理实验
目标企业价值评估的实物期权定价法探讨
目标企业价值评估是确定并购价格的基础。本文在评价传统目标企业价值评估方法的基础上,对并购的期权特性进行了分析,提出了适应我国目前并购市场需要的实物期权定价法,并结合案
期刊
并购
价值评估
期权
实物期权
温州蜜柑作中间砧的甜橘柚光合特性研究
甜橘柚(Sweet spring)由浙江省丽水市农科所于1998年以接穗引入丽水市庆元县,该品种为八朔柑(Citrus hassaku Hort.ex Tanaka)与山田温州蜜柑(C.unshiu Marc.)杂交育成,属晚熟品种,
期刊
温州蜜柑
中间砧
光合特性
柚
橘
果实品质
晚熟品种
砧穗组合
非文学专业大学生写作能力的提升
经过十多年中小学阶段的基础学习.众多学子通过高考进入各种层次的高等院校深造.从此,各类专业学习成为大学生们学习生活的核心,除了文学专业的学生有专门的写作概论课及各类文学
期刊
专业大学生
写作能力
非文学
高校管理者
高等院校
基础学习
小学阶段
学习生活
四轮驱动车辆的操作方法
全时四轮驱动的车辆能够将发动机的动力持续和适当地分配给所有的四个车轮,因此没有驱动轮与从动轮之分,四个车轮都是驱动轮。它不尽能保证车辆在干燥的路面上更好地行驶,而且能
期刊
四轮驱动车辆
操作方法
驱动轮
发动机
从动轮
车轮
行驶
路面
2003年全国道路交通事故小统计
期刊
2003年
道路交通事故
事故统计
中国
交通管理
与本文相关的学术论文