论文部分内容阅读
本文先给出命题逻辑P的所有合式公式组成的集合W上的一个偏序关系,从而得到一个偏序集,然后在这个偏序集上讨论了与P中关于合式公式结构的归纳法等价的几个方法.
P中与归纳等价的几个条件
【摘 要】
：
本文先给出命题逻辑P的所有合式公式组成的集合W上的一个偏序关系,从而得到一个偏序集,然后在这个偏序集上讨论了与P中关于合式公式结构的归纳法等价的几个方法.
【机 构】
：
黔南民族师范学院,广西师范大学,桂林电子科技大学
【出 处】
：
黔南民族师范学院学报
【发表日期】
：
2006年3期
【基金项目】
：
国家自然科学基金(NO.60573010)、广西自然科学基金(NO.0447032),黔南师院科研项目.
其他文献
新西兰每年出口的有机农产品价值约3.35亿美元,比3年前增长42%;其国内市场销售额也增长至2.54亿美元,即每年农产品的国内外销售总额约达6亿美元。新西兰有机农业协会(OANZ)对
阐述了后勤社会化背景下高校公寓管理的重要意义,分析了高校公寓管理的现状及存在的一些问题,提出了加强高校公寓管理的思路对策与建议。
在2018年中国香港举行的亚洲国际水果蔬菜展览会上，西班牙、葡萄牙、克罗地亚和波兰的种植商联合推出了一个新的合作社，即欧洲浆果种植商合作社（European BerryGrowers），该合作社
为探究我国思想政治教育研究的现状、热点及发展趋势,文章以1991—2015年期间立项的629项思想政治教育国家社科基金项目及其3784篇论文成果为研究对象,从项目信息、成果信息
在新时期,图书馆管理的文化层面、战略层面、运用层面产生了诸多新视角、新理念,需要图书馆管理者运用图书馆人本管理、图书馆知识管理、图书馆馆员能量管理等新的管理理念,
日前,运城市苹果网上行启动仪式隆重举行,运城市人民政府副市长崔元斌,山西省农业厅果业总站副站长廉国武出席启动仪式,活动由运城市果业发展中心主任靳国全主持。＂运城苹果＂授
近年来,哥伦比亚农业部门通过出口哈斯鳄梨推动了非传统产品的出口.目前哥伦比亚鳄梨已获准出口阿根廷,这对于哥伦比亚鳄梨而言非常重要.因为阿根廷是拉丁美洲地区重要的鳄梨
英国雷丁大学的一项最新研究显示,儿童吃蓝莓或对提高专注力有立竿见影的效果。这项研究已发表在《食品与功能》期刊上。研究人员开展了双盲试验,即让一群7~10周岁的小学生接
美国赠地大学的农业教学、科研和推广的＂三位一体＂管理体制为美国农业产业的发展和领先起了非常重要的作用。其关键是教授管理体系,核心是依据产业的需求结合教学科研和推广的