论文部分内容阅读
利用R0-蕴涵算子对命题公式集F（S）进行分类，得出了F（S）的一个16类分划，并证明了这种分类关于非运算是同余分类．最后讨论了各类关于MP运算与HS运算的封闭性．
命题公式集F（S）的基于R0-算子的16类分划
【摘 要】
：
利用R0-蕴涵算子对命题公式集F（S）进行分类，得出了F（S）的一个16类分划，并证明了这种分类关于非运算是同余分类．最后讨论了各类关于MP运算与HS运算的封闭性．
【机 构】
：
陕西师范大学数学研究所,盐城师范学院数学系
【出 处】
：
数学研究与评论
【发表日期】
：
2005年3期
【基金项目】
：
国家自然科学基金（90207015）
其他文献
DEA-BCC模型是一种评价相对有效性的方法,利用该模型对我国中部地区交通运输上市公司的财务绩效进行评价可以发现:企业的财务效率整体上处于较高水平,但公路运输、水上运输、
近几年来，泸州市各级物价部门认真按照国家发改委和四川省物价局关于创建规范化价格监督检查机构的要求，积极开展创建规范化物价检查所（局）活动，取得了一些成效。
为保障市场供应，稳定市场物价，让全县人民过一个欢乐、祥和的节日，洪雅县政府启动价格调节基金26万元，于2月6日至20日在万家超市、家家乐超市、农贸市场等场所设立年货专销点，低于
“铜头,铁嘴,橡皮肚,飞毛腿”。这是过去计划生育干部的自嘲,意思是能碰钉子,会说道理,受得起气,跑得起路。都说计生工作是“天下第一难事”。 可是最近记者到贵阳市、遵义市
英语作为国际通用语言越来越受到人们的重视。但现在英语“阅读理解”的教与学存在许多不足．我们应通过实践，在有效的课堂时间内培养学生的阅读能力；利用学生的课外时间培养他们
油涨吗？煤俏吗？电够吗？在即将过去的2005年乃至整个“十五”期间，以煤、电、油全面紧张为标志的能源“瓶颈”集中出现，成为镌刻在人们心头挥之不去的记忆。“油荒”、“煤荒”、“
本文给出了Szász—Mirakjan算子线性组合的点态逼近定理。另外，还研究了Szász—Mirakjan算子高阶导数与所逼近函数光滑性之间的关系。
一是规范了乡镇和社区垃圾处理费。对太和、东岳、香山、瞿河、广兴、玉太等乡镇集镇和社区垃圾清扫、处理费进行了论证、审核，广泛征求各方面意见，提出了收费方案，规范了收费行