论文部分内容阅读
将真度定义的均值表示形式推广到n值Ro-命题逻辑系统Ln^＊中,给出了系统Ln^＊中真度定义的等价形式,并利用该等价形式简化了真度的若干重要性质的证明,得到了真度的对称性定理。
n值命题逻辑系统Ln＊中真度的等价定义及性质
【摘 要】
：
将真度定义的均值表示形式推广到n值Ro-命题逻辑系统Ln^＊中,给出了系统Ln^＊中真度定义的等价形式,并利用该等价形式简化了真度的若干重要性质的证明,得到了真度的对称性定理。
【机 构】
：
延安大学数学与计算机科学学院
【出 处】
：
延安大学学报：自然科学版
【发表日期】
：
2016年3期
【基金项目】
：
陕西省自然科学基金(2014JM2-1003),陕西省科技计划社发攻关项目(2014ks15-03-07),延安市科技计划项目(2013ks-03)
其他文献
沙棘是一种果实和叶中含有丰富的生物活性成分的植物，是珍贵的药食两用植物资源。本文主要介绍了沙棘的保健功能及其临床应用研究进展。说明沙棘的临床应用价值高，其医药保健、
泛娱乐产业是现代社会中粉丝经济的新兴时态,展现出21世纪互联网时代下娱乐产业的发展趋势,一方面,其IP流动形式能够满足不同用户的情感需求与多元化需要,另一方面,对IP衍生
主要基于Smarandache可乘函数SM（n）的性质及Mangoldt函数Λ（n）的定义,运用初等和解析方法研究了Λ（n）·SM（n）和Λ（n）·S（n）的值性质,并得到了较强的渐近公式。
<正> 1.适用范围本试验用于评定非织造布承受顶破应力的性能。顶破强力是指规定的园形非织造布试样在一个受控的、速率持续增加的压力作用下发生断裂时的最大压力。
如何从带噪语音信号中恢复出干净的语音信号一直都是信号处理领域的热点问题。近年来研究者相继提出了一些基于字典学习和稀疏表示的单通道语音增强算法,这些算法利用语音信
研究了双线阵在两种阵形畸变（轴向滑移和航向偏差）条件下的左右舷分辨性能，根据双线阵指向性函数的背瓣特性分析了阵形畸变对左右舷分辨性能的影响。理论分析表明，在无阵形畸变的
在有些地区，住底层的住户经常发现，面会出现不同程度的返潮现象，使放在地面上的家具杂物发霉变质，有时地面潮湿使人行走打滑，给居民生活带来了不少麻烦。直接影响到住户的使用，给用
文章介绍了为适应无梭织机的生产需要，努力提高浆轴质量的具体做法。在浆料成份的配比上打破了传统观念，将棉卡其的ＰＶＡ用量由５０％增加到８０％，取得了良好的织造效果。