论文部分内容阅读
引进了命题逻辑中的蕴涵置换的概念，建立了蕴涵置换法，指出了蕴涵置换法的使用范围。
命题逻辑中的蕴涵置换法
【摘 要】
：
引进了命题逻辑中的蕴涵置换的概念，建立了蕴涵置换法，指出了蕴涵置换法的使用范围。
【机 构】
：
湖南科技大学数理系
【出 处】
：
数学理论与应用
【发表日期】
：
2003年4期
其他文献
久尹有限公司成立于1984年,是一家享誉国内外的机械设备制造商。以往十余年不断的努力和精进,久尹不但能自行设计和制造各种质量优良、效率高超且自动化的陶瓷电子组件,整厂
本文对呼伦贝尔燃煤空冷机组扩建项目进行了分析,运用灰色系统预测方法,对东北地区中长期电力负荷发展进行预测分析,在此基础上,分析了呼伦贝尔燃煤空冷机组扩建项目的必要性
随着全球经济一体化趋势的加强,作为全球化发展的计算机零部件生产商面临的国际竞争日趋激烈,作为企业核心竞争力的新产品开发越来越受到企业重视。然而,公司现有的项目组织
随着市场经济的完善与发展,电力企业主辅分离实施的加快,原由发电企业扶持组建的电力综合产业企业,在丧失电力垄断市场带来的垄断利润后,由于存在主营业务不突出、关联交易比
中国插花的美学观念 中国插花发展深受以老庄为代表的“天道”和以孔孟为代表的“儒道”的影响,强调“天人感应”,认为宇宙、天、地、人是一个“存在”的连续体,不可分割,天
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
中国大陆市场的快速发展,带给中国台湾地区企业无限机会,摄阳自动化为了延续公司在中国台湾地区的市场优势和技术优势,在市场上占据领先地位,于2004年进入中国大陆市场。但是
民间艺术的原生性是民间艺术有别于其他艺术的基本特征,是"民艺学"的重要理论基石。在国内,张道一先生和潘鲁生教授对这一课题作了较为深入的研究,孙家正、杨先让、靳之林、