论文部分内容阅读
本文先给出命题逻辑P的所有合式公式组成的集合W上的一个偏序关系,从而得到一个偏序集,然后在这个偏序集上讨论了与P中关于合式公式结构的归纳法等价的几个方法.
P中与归纳等价的几个条件
【摘 要】
：
本文先给出命题逻辑P的所有合式公式组成的集合W上的一个偏序关系,从而得到一个偏序集,然后在这个偏序集上讨论了与P中关于合式公式结构的归纳法等价的几个方法.
【机 构】
：
黔南民族师范学院,广西师范大学,桂林电子科技大学
【出 处】
：
黔南民族师范学院学报
【发表日期】
：
2006年3期
【基金项目】
：
国家自然科学基金(NO.60573010)、广西自然科学基金(NO.0447032),黔南师院科研项目.
其他文献
阐述了后勤社会化背景下高校公寓管理的重要意义,分析了高校公寓管理的现状及存在的一些问题,提出了加强高校公寓管理的思路对策与建议。
为探究我国思想政治教育研究的现状、热点及发展趋势,文章以1991—2015年期间立项的629项思想政治教育国家社科基金项目及其3784篇论文成果为研究对象,从项目信息、成果信息
在新时期,图书馆管理的文化层面、战略层面、运用层面产生了诸多新视角、新理念,需要图书馆管理者运用图书馆人本管理、图书馆知识管理、图书馆馆员能量管理等新的管理理念,
英国雷丁大学的一项最新研究显示,儿童吃蓝莓或对提高专注力有立竿见影的效果。这项研究已发表在《食品与功能》期刊上。研究人员开展了双盲试验,即让一群7~10周岁的小学生接
美国赠地大学的农业教学、科研和推广的＂三位一体＂管理体制为美国农业产业的发展和领先起了非常重要的作用。其关键是教授管理体系,核心是依据产业的需求结合教学科研和推广的