论文部分内容阅读
学习NDPI (Nature Deduction Predicate Intuitionistic)[1]时,自然会提出这样的问题:如何证明判断"P∨┑P(P是一个命题)"在该系统中是不可证的?本文就回答这个问题.
一阶谓词演算自然演绎型直觉主义系统NDPI
【摘 要】
：
学习NDPI (Nature Deduction Predicate Intuitionistic)[1]时,自然会提出这样的问题:如何证明判断"P∨┑P(P是一个命题)"在该系统中是不可证的?本文就回答这个问题.
【机 构】
：
河北大学数学与计算机学院
【出 处】
：
河北大学学报：自然科学版
【发表日期】
：
2003年4期
其他文献
都市报的兴起是中国报业市场化的结果，也是中国报业市场化的标志。在当今的都市报市场上，竞争的气氛空前浓烈，从价格战、人才战、发行数字战到全方位的质量战、时间战、服务战，国
自亚洲金融危机以来，东亚的汇率选择问题就引起了人们的空前关注。而当前，人民币正面临着强大的升值压力，这一问题对中国来说则显得尤为紧迫。恰逢此时，罗纳德·麦金农教授（与
文德广运发行有限公司在实行信息化管理方面分三个阶段进行。即摸索阶段：对设立分公司的20个城市15000个零售报刊终端进行调查，建立信息资料库。发展阶段：建立报刊发行数据库，实
针对高等职业教育的定位,通过传统教学法和行为引导教学法在艺术设计专业教学实践中的运用、比较,分析、总结行为引导教学法在实现高职教育的行为目标、培养学生综合素质方面
2005年10月27日，致力于中国可供书目数据库建设的“中版通（北京）数据信息技术有限公司”在京成立。该公司由中国出版集团公司和旗下新华书店总店等单位联合投资设立，主体业务是建
利用激光光谱技术得到NO分子经由电子态C2Σ←X2Π跃迁的多光子共振离化光谱.NO分子通过中间共振电子态C2Σ,实现了五光子共振离化过程. 根据实验计算得到了NO分子C2Σ态平衡
为了因地制宜地对不同田块进行变量施肥管理,达到精准农业要求,开发一个基于组件技术的田间施肥决策地理信息系统.系统采用OLE控件技术--ESRI公司的MapObjects功能组件,在可
铁凝带着悲天悯人的温厚情怀走上文坛,从《哦,香雪》到《大浴女》,再到《春风夜》,她的小说习惯性地去寻找心灵的一方净土。近期小说创作更倾向普通大众的生活小事的叙述,注
提出了一种数字传输中,对数字信号进行滤波的方案.它可以将数字信号中存在的一些脉冲干扰滤除,提高数字信号的质量,为对数字信号的进一步处理打下良好的基础.同时给出了此滤