切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
命题逻辑公式集上的正则相似关系
命题逻辑公式集上的正则相似关系
来源 :陕西师范大学学报:自然科学版 | 被引量 : 0次 | 上传用户:abcnews
【摘 要】
:
研究了命题逻辑公式集(F(S))上的正则相似关系。在经典二值命题逻辑中引入了正则相似度概念,利用公式的真度概念给出了一种正则相似度,进而导出了全体公式集上一种伪距离,并且证明
【作 者】
:
宋庆燕
杨兴忠
【机 构】
:
陕西师范大学数学研究所,湖北民族学院信息工程学院
【出 处】
:
陕西师范大学学报:自然科学版
【发表日期】
:
2002年4期
【关键词】
:
命题逻辑公式集
正则相似关系
正则相似度
伪距离
二值命题逻辑
近似推理
truth degrees similarity degrees regular_si
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
研究了命题逻辑公式集(F(S))上的正则相似关系。在经典二值命题逻辑中引入了正则相似度概念,利用公式的真度概念给出了一种正则相似度,进而导出了全体公式集上一种伪距离,并且证明了它与另外两种伪距离是等价的。
其他文献
药物与血脂
<正>Gotto通过对3800例患者的研究,发现血清总胆固醇(TC)每下降1%,心肌梗死所致死亡的危险性下降2%。另已证明Ⅱ型高脂血症患者TC浓度下降8%,低密度脂蛋白—胆固醇(LDL—CH)下降
期刊
药物
血脂
临床应用
肾病综合征合并假Bartter`s综合征一例报告及文献复习
肾病综合征并假Bartter′s综合征尚未见报导,现报告1例及文献复习。 女某,30岁,农民,已婚。因双下肢浮肿,少尿3年于90年8月30日入院。感乏力、腹胀。否认使用利尿剂史。既往
期刊
肾病综合征
Bartter`s
综合征
《陕西师范大学学报》创刊50周年纪念会隆重举行
6月5日,《陕西师范大学学报》创刊50年纪念会在陕西师范大学学术活动中心隆重举行。来自教育部社科司和科技司的有关部门负责同志,陕西省新闻出版局、教育厅的领导,中国高校自然
期刊
陕西师范大学
大学学报
创刊
自然科学学报
中国科学院
副理事长
活动中心
新闻出版
射击馆靶场测量的方法与实践
期刊
射击馆
靶场
工程测量
原发性扩张型心肌病70例临床分析
<正>近年来,原发性扩张型心肌病(PDCM)在临床上日渐增多。现将我院近年来住院确诊的PDCM70例,作一分析,供临床诊治参考。 1 诊断依据 (1)X线及/或超声心动图示心脏增大;(2)充
期刊
心肌病
扩张型
诊断
中国老促会与平山老区联合举办兽医临床新法诊断研讨会
2001年5月21日至24日,中国老区建设促进会医委会与河北省平山县老促会、平山县畜牧局在平山县联合主办了"革命老区兽医临床新法诊断研讨会"。江西省吉安市、吉安县、万安县,
期刊
药物性水肿
<正>由于临床用药引起的全身性或局部性水肿是临床上一种常见的病理过程,认识药物性水肿,有利于对水肿的鉴别诊断,从而为积极防治药物性水肿提供依据,对于减少恶性刺激、促进
期刊
水肿
药物性水肿
药原性疾病
大型系列报道《胜利之本》征稿
期刊
经济增长与就业机制、模式、观念的变革
文章认为中国的失业问题是人口过剩型失业、经济转型的体制性失业与结构性失业的纵横交错与叠加 ,是转型期的特殊现象。文章指出 :在显化隐性失业、治理公开失业 ,借鉴国际经
期刊
经济增长
就业机制
就业模式
观念变革
渭北旱塬黄土记录的晚冰期以来短尺度气候变化
通过对长武下孟村黄土剖面的野外考察和磁化率,粒度,吸湿水含量分析,探讨了该地区晚冰期以来气候变化规律,研究结果表明,该剖面较好地记录了新仙女木期(YD)和博令-阿勒罗德事件(BL+AL)短
期刊
渭北旱塬
黄土剖面
晚冰期
短尺度气候变化
全新世
古土壤
黄土高原
磁化率
吸湿水含量
Holocene loesspalaeosol climatic ch
与本文相关的学术论文