论文部分内容阅读
探讨二值命题逻辑公式及逻辑等价公式统一性问题．利用二值命题逻辑中公式逻辑等价与可证等价的一致性，借助于赋值方法得到了命题在可证等价意义下的一般表示，给出了全体命题根据可证等价关系作商得到的所有等价类的代表元的统一表示形式．
二值命题逻辑F（Sn）在可证等价意义下的一般表示
【摘 要】
：
探讨二值命题逻辑公式及逻辑等价公式统一性问题．利用二值命题逻辑中公式逻辑等价与可证等价的一致性，借助于赋值方法得到了命题在可证等价意义下的一般表示，给出了全体命题根据
【机 构】
：
陕西师范大学数学与信息科学学院,西安文理学院数学系
【出 处】
：
纺织高校基础科学学报
【发表日期】
：
2008年4期
【基金项目】
：
国家自然科学基金资助项目（10331010）
其他文献
目前,褐壳蛋鸡饲养比例越来越大,该品种生产能力高,抗逆性强,蛋重大,但在养殖过程中,有时鸡群发生蛋壳颜色变浅、变白、深浅不一或出现色素斑块问题.
利用Ｂｅｒｎｏｕｌｌｉ多项式的Ｆｏｕｒｉｅｒ展开式给出著名的Ｄｅｄｅｋｉｎｄ和互反公式的一个新的并且最简单的证明。
5饲养管理5.1总的要求必须使用符合<绿色食品饲料和饲料添加剂使用准则>要求的饲料.兽药使用必须符合<绿色食品兽药使用准则>的要求,并作好记录,记录保存2年以上.厚垫料地面
目前,家禽免疫接种仍是预防传染病的有效手段.制定合理的免疫程序,选择质量优等的疫苗(毒、菌苗),疫苗的运输、保存等问题,各养殖场(户)都比较重视.但却忽视了接种疫苗的操作
设U=Tri（A,M,B）是三角代数,Dn={δ0,δ1,…,δn}为U上的一组可加映射且δ0=I.若A,B∈U有δm（AB）=∑k=0^mCm^kδk（A）δm-k（B）（m=0,1,2,…,n）,则称Dn为U上的一个n阶导子系,若任意A∈U有δ
基层农技推广人员长期扎根在农村，与农民为伴，与作物厮守，推广技术，攻克难题，发展农业生产，推动科技进步，只要多做有心人．讲究方法与技巧，是可以申报并获得相应科技奖项的。本文就基层
近几年,饲料的安全问题已受到社会的广泛关注.所谓饲料安全是指饲料产品(饲料和饲料添加剂)中不含有对饲养动物健康和生产性能造成实际危害,而且不会在畜产品中残留、蓄积和