论文部分内容阅读
表列（tableau）方法是一种形式证明的方法,具有良好的通用性,适用于经典逻辑和非经典逻辑的许多系统。表列方法对于各种逻辑系统的元理论的研究,也是一种有力工具。
经典逻辑的表列方法
【摘 要】
：
表列（tableau）方法是一种形式证明的方法,具有良好的通用性,适用于经典逻辑和非经典逻辑的许多系统。表列方法对于各种逻辑系统的元理论的研究,也是一种有力工具。
【机 构】
：
华东师范大学哲学系
【出 处】
：
毕节学院学报：综合版
【发表日期】
：
2010年12期
其他文献
在船舶电站中,轴带发电机占据重要组成成分,具有良好的发展前景,可以为船舶航行提供电能供应,不但可以减少船舶主电站的消耗,而且可以增强便利性与经济性,有利于节省维修成本
由于国内社会经济持续发展,国家越来越重视各行各业的可持续发展,积极引导各个企业将可持续发展观作为自身的发展理念,要求企业将生态效益以及经济效益同时并举,各行各业也慢
长期以来,洪水灾害对生态环境造成了非常严重的破坏,因此,防洪减灾十分重要。对洪水和安徽安庆地区洪涝灾害的基本情况进行了阐述,并提出了防洪减灾的对策和有效措施,希望对
社会科技发展水平不断提升,在现代化建设过程中,起重机发挥着重要的作用,因为起重机具有较高的便利性,因此在企业生产过程中广泛利用起重机,提高企业生产效率。但是在操作起
目的：探讨急性阑尾炎患者行腹腔镜阑尾切除术（laparoscopic appendectomy,LA）术后切口感染的发生状况。方法：选取2013年1月至2015年12月收治的680例行阑尾切除术的急性阑尾炎患者
摘要：随着我国工业发展水平的不断提升，重型运输直升机凭借其载重大、效率高等特点在军用领域以及民用领域当中都发挥了至关重要的作用，相关研究人员也应不断加强对重型运输直升机的研究力度。基于此，本文从重型运输直升机的重要作用与发展现状出发，对其传动系统构型加以分析，并以此为基础探讨了其构件尺寸大且结构复杂、输入转速较大、功率密度较大以及功率传递路径多等方面的技术特点。 关键词：重型运输直升机;传动系统
跨座式单轨列车-轨道梁系统的耦合振动问题涉及因素多,有待进一步研究。基于刚柔耦合理论建立跨座式单轨列车-轨道梁耦合动力学模型,以探讨不同轨道梁跨距和载重状态对系统响
目的：探讨腹腔镜肝叶部分切除术联合十二指肠镜、胆道镜治疗复杂性肝内外胆管结石的效果。方法：随机选取三镜联合治疗的复杂性肝内外胆管结石患者58例（观察组）与开腹手术治疗的复
设计了一种基于H.264压缩标准的远距离视频监控系统,详细给出了该系统的硬件与软件设计,并针对RTP流媒体网络数据传输中的若干问题给出了相应的解决方案。实践证明,系统运行
摘要：压紧式管接头是轨道交通车辆制动系统中常用的管接头类型之一，由于结构特性，压紧式管接头安装后主要通过管路回路设置固定支架防拔脱。为避免管接头脱落，管接头中的卡环进行了优化，设计了带齿结构，通过增大摩擦力来增强管接头的防拔脱性能。本文通过相应的拉伸试验，验证结构优化后的压紧式管接头安装后对管接头防拔脱性能的影响。 关键词：压紧式管接头;卡环优化;拔脱性能 中图分类号：TH131