论文部分内容阅读
系统Z是文[7]构造的经典命题逻辑系统,这一系统的初始联结词是一类广义的谢夫竖函数,并且采用括号记法.作者在系统Z中加入存在量词,把存在量词和广义谢夫竖函数统一作括号记法,并且把系统Z的规则作相应的处理,最后证明了所得系统Z′的完全性.
经典一阶逻辑的希尔伯特型系统
【摘 要】
：
系统Z是文[7]构造的经典命题逻辑系统,这一系统的初始联结词是一类广义的谢夫竖函数,并且采用括号记法.作者在系统Z中加入存在量词,把存在量词和广义谢夫竖函数统一作括号记
【机 构】
：
中国社会科学院哲学研究所
【出 处】
：
湖南科技大学学报：社会科学版
【发表日期】
：
2005年2期
其他文献
金春明。男。1932年生．山东昌邑人。中国著名中共党史专家、毛泽东研究专家．“文化大革命”史研究的开拓性学者。1947年考入解放区的东北大学。1950年加入中国共产党，1952年毕业
硒和维生素E是天然的抗氧化剂。在日粮中提供理想的有机硒与维生素E是实现动物机体抗氧化效率的关键一步。它可以提高抗应激、抗病力,增强动物的繁殖力和生产力。
呼和浩特作为内蒙古自治区政治、经济、文化的中心，消费潜力巨大，当地的消费者对品牌的忠诚度比较高，一旦产品在此地拓市成功，在很长时间内都会畅销，因此吸引很多外来厂家在此地开
价值取向不同决定了主体的行为选择方式的差异。传统文化，尤其是工业文化的“崇尚高消费，追求物质享受”的价值取向的弊端随着全球性生态危机的到来日益显现。生态文化的产生是
从市场容量、基金特色、基金费用计提方式和基金管理公司分布不均衡四个方面,指出了现阶段我国投资基金营销现实中存在的问题,并提出了以市场化原则和市场细分原理,发展网上
繁殖力的高低是衡量肉牛生产力的一个重要指标之一,而提高母牛的繁殖性能又是发展肉牛生产的重要环节。笔者现将影响母牛繁殖力的几个有关因素及提高牛群繁殖力的几项技术措
清朝后期湖南旱灾大多为插花性干旱,较少发生全省性大范围干旱。旱灾造成的影响和损失与干旱延续的时间成正比。若发生在春季耕种期会延误农时;若发生在夏秋农作物生成期会导
在漫长的封建社会里，文馆作为一个特殊的、非常设的文化机构长期存在于中央集团中，在社会政治与文化生活呻发挥着特殊的作用。研究文馆史，实际上是以一个全新的视角来研究政治史