逻辑系统W^—,W,Wk中F（S）的一个分划及其升级算法的性质

来源 :陕西师大学报：自然科学版 | 被引量 : 0次 | 上传用户：zhoubear

【摘要】

：

研究了逻辑系统W ,W ,Wk 中F(S)的分划问题及其升级算法的一些性质 .分别在W ,W ,Wk 中利用可达广义重言式的概念给出F(S)的一个关于同余的分划 ,并证明了 :在W (W )中 ,重

【作者】

：

吴洪博文秋梅

【机构】

：

陕西师范大学数学研究所,唐山师范学院数学系

【出处】

：

陕西师大学报：自然科学版

【发表日期】

：

2000年2期

【关键词】

：

命题演算可达α^+-重言式升级算法逻辑系统 propositional calculus accessibleα+ tautology partiti

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

研究了逻辑系统W ,W ,Wk 中F(S)的分划问题及其升级算法的一些性质 .分别在W ,W ,Wk 中利用可达广义重言式的概念给出F(S)的一个关于同余的分划 ,并证明了 :在W (W )中 ,重言式不可能由对非重言式利用升级算法得到 ;在Wk中 ,对任一公式最多进行 k + 12 次升级算法即可得到重言式 .

其他文献

都江堰市2014年-2017年乙肝病例现场调查情况分析

目的了解乙型肝炎的流行病学的变化、重要传播途径,为乙肝防控工作提供可行性建议;加强人群对了解乙肝防治知识学习,有效控制乙肝病例的传播。方法通过中国疾病控制系统201

期刊

乙型肝炎发病人群乙肝防控健康宣传

心系民工解难题当好代表为人民

孔子曾经说过：“不在其位，不谋其政”。我身为松江区建设交通委党委书记、主任，同时作为一名市、区两级人大代表，更要为人民谋好政、办好事。

期刊

人民民工党委书记人大代表松江区

从临床角度探讨检验科的质量管理及对策

目的对临床医学检验质量管理的方法进行探讨。方法将我院120例需要进行临床医学检验的患者作为研究对象,随机分为实验组和对照组各60例,并分别给予检验质量控制措施和常规

期刊

临床医学检验质量控制措施

家庭“健康”工作愉快

家庭健康不仅是个人身心安宁、事业成功、生活幸福的源泉，而且还足社会健康的基石和保证。现实中，要做到家庭和睦、夫妻恩爱、敬老爱幼、其乐融融也是很不容易的，一是因为大干世

期刊

家庭健康“健康”愉快事业成功社会健康家庭和睦个人生活

关注民生，司法为民找准履职最佳切入点

1、当选为杨浦区新一届人大代表后．顾伟强和陈佳玉认真学习有关法律法规，他们思考得最多的是如何立足区法院本职工作，找准代表履职最佳切人点。顾伟强认为：“按照区委要求，我们应

期刊

司法为民民生本职工作法律法规人大代表宗旨意识代表职责杨浦区

志愿服务也应在规范中发展

只要你留心,你就会发现身边活跃着一群普通而又高尚的人。在社区为老服务、助残济困、公益服务有他们;在繁忙的交通路口疏导交通、维护治安有他们：在贫困地区支教助学、扶贫支

期刊

志愿服务喜马拉雅山公益服务支教助学贫困地区主动服务社区热情

低电压对空调整机的影响及应对措施

在空调及家用电器越来越普及的状况下,人们对电的需求越来越大,在用电高峰期时空调常常在低电压下运行,由此导致了空调器常会发生压缩机电机线组烧毁的故障及压缩机振动变大

期刊

压缩机低电压可靠性振动电流Commressor low voltage Reliability Vibrate F leo tric cu

热水器行业品牌评价体系中的重点指标分析

2013年9月27日，“2012—2013年度中国家用电器行业品牌评价结果发布会”在北京隆薰举行。本次共发布电冰箱、洗衣机、空凋器、储水式电热水器、吸油烟机、电饭煲“十强品牌”

期刊

行业品牌评价体系电热水器空气净化器家用电器吸油烟机电冰箱洗衣机

豇豆钙调蛋白cDNA的克隆及序列分析

从豇豆成熟叶片中提取总RNA，反转录合成cDNA第一链，根据钙调蛋白结构基因两端保守序列设计引物，PCR扩增豇豆钙调蛋白基因，克隆到T—easy载体上并测定了其全序列．序列分析结果表明，

期刊

豇豆钙调蛋白CDNA克隆序列分析Vigna unguiculata （ L. ） Walp calmodulian cDNA clonel seq

代表学习培训针对性更强——访市人大常委会人事代表工委副主任、培工委副主任张贤训

中央9号文件和市委16号文件，都十分强调进一步发挥代表主体作用。作为发挥代表作用重要前提的代表培训工作，也一直得到本届市人大常委会的高度重视。今年4月下旬至5月下旬，短短

期刊

市人大常委会学习培训班副主任工委人事人大代表主体作用代表小组

逻辑系统W^—,W,Wk中F（S）的一个分划及其升级算法的性质

与本文相关的学术论文