【摘 要】
：
当广义相关系数在0 ～0.5时,证明了基于零级运算模型的逻辑系统PC(T)是健全逻辑系统；当广义相关系数在0.5 ～0.75时,构建了基于零级运算模型的健全逻辑系统PC (T)；当广义相关系数在
【机 构】
：
北京邮电大学计算机学院,中国计量学院数学系
【基金项目】
：
北京市高等学校人才强教计划资助项目;
论文部分内容阅读
当广义相关系数在0 ～0.5时,证明了基于零级运算模型的逻辑系统PC(T)是健全逻辑系统；当广义相关系数在0.5 ～0.75时,构建了基于零级运算模型的健全逻辑系统PC (T)；当广义相关系数在0.75～1时,进一步证明了基于泛逻辑零级运算模型的逻辑系统PC(T),当命题P等于0和1时是一个健全逻辑系统；当命题P不等于0和1时,构建了基于泛逻辑零级运算模型的健全逻辑系统PC(T).
其他文献
近年来,新型城镇工业园发展较快,在吸纳外资、调整优化产业结构、扩大就业、推进城市化和地方经济发展等方面发挥了重要作用。本文基于大学生创业的实践咨询服务调研,针对天
为优化天津市外贸经济发展环境,助推出口企业提升国际竞争力,近期,市财政局会同有关部门,根据天津市企业出口产品种类和规模,对580户生产型出口企业重点产品国际竞争力进行了
3岁前的孩子看到他喜欢的东西，不与别人打招呼就拿了。这个年龄阶段的孩子不知道别人的东西不能拿。很多情况下，宝宝并不清楚什么是你的、什么是我的，他只是认为“只要我喜欢的
随着经济全球化的发展，人们生活水平不断提高，对教育提出了更高的要求，中职学校重视学生实践能力的培训，现如今，中职学校学生入学人数不断增加。在中职学校教学中，班主任的管理工作
利用怀柔应急地下水源地区多年水质监测资料,分析其地下水硬度、矿化度和硝酸盐离子含量升高的主要原因,查明地下水质变化规律,提出水源涵养建议,为怀柔应急水源工程的稳定供
从影响小流域生态环境的经济活动因素分析出发,选取耕地比例、园地比例、道路通达性指数、交通用地比例、住宅用地比例、户籍人口密度及工矿用地比例等指标,运用因子分析和标
研究了非离子型有机添加剂P强化铝酸钠溶液晶种分解过程的影响因素,同时引用XRD分析了不同品种的活性.结果表明:添加剂P可有效提高分解率,显著改变产品的形貌,并具有一定增大
企业廉政文化建设要以人为本，企业文化建设要以制度为保障，企业文化建设要以强化监督为保证。
内股技术是柔道投技基础动作之一，具有力量大、隐蔽性强、容易和其他技术组成连络技术、形成技战术多变的优点。符合当今柔道比赛“节奏快，对抗性强”的发展趋势，有利于提高运动
建立了一维土壤高温热湿迁移实验装置,获得了温度场和湿度场的动态变化规律,提出了温度峰值比和湿度峰值比的概念。实验结果表明,土壤温度场和湿度场均呈现明显的峰值特征,尤