【摘 要】
:
<正> 在“演绎法”这一章里,柯丕主要介绍在他设计的公理系统内证明有效复合判断推理有效的演绎方法,以及,证明无效复合判断推理无效的给成分语句指派真值的方法。此外,为了
【出 处】
:
重庆师范学院学报(哲学社会科学版)
论文部分内容阅读
<正> 在“演绎法”这一章里,柯丕主要介绍在他设计的公理系统内证明有效复合判断推理有效的演绎方法,以及,证明无效复合判断推理无效的给成分语句指派真值的方法。此外,为了加深对实质蕴涵的理解,还对不相容的前提作了一些评论。 本来,理论上,真值表是足以检验任一真函论证是否有效的,但实践上,当成分语
其他文献
现实的多属性决策信息系统包含大量的偏好信息、模糊信息、噪声数据,而基于传统的粗糙集模型难以有效处理此类决策问题,鉴于此,本文构建了一种新的变精度直觉模糊粗糙集模型
<正> 全日制五年制中学语文课本(修订本)已于去年秋季开始在全国通用。新课本仍维持原试用本的编排体系未变,主要是按《教学大纲》的要求突出各年级读写训练的重点: 初一着重
当供应商因资金约束而不能提供足够的零部件时,不仅影响其自身的销售收入,也会造成其下游制造商(买方)的损失。因此,制造商有意愿向其供应商提供贷款用于提高产量。在由单一
网络智能化一直是业界在探讨的话题。5G时代,承载运维智能化是其中的一个重点。探讨从5G网络下承载运维面临的挑战进行分析,再针对几个智能运维关键点进行阐述,包括SDN、弹性
<正> 毛泽东同志一九七五年八月关于《水浒》的谈话中说过“宋江投降,搞修正主义”这一句。这里说的“修正主义”,是指宋江“把晁的聚义厅改为忠义堂”,使梁山泊这支队伍“让
基于输电线路对电力系统的重要性,文章简介了电力工程输电线路施工技术,从施工中各个分项工程出发,介绍了塔杆工程、基础处理工程和输电线路的检修工程以及线路架设等方面的
<正>根据本会第六届年会定五月四日为文艺节的决定,将于今年今日举行第一次文艺节,为了表示隆重地纪念这个全国文艺界的节日,本会及各地分会并于同日举行检讨过去,策励将来的年会
提高电力调度水平有助于保持电网运行的安全性和稳定性,供电公司应该在对外界因素和自身因素进行综合考量的基础上,通过合理、科学的电力调度工作使主网运行的安全性和风险性
协同创新的行为决策是“未来收益”贴现为“即期收益”后的跨期决策。从行为视角将创新主体的决策划分为努力程度和创新资源投入分摊意愿,将行为经济学时间贴现DU模型引入协
1973年Wertheimer等[1]首次报道经静脉心内膜起搏可以引起上腔静脉综合征(pacemaker-induced superior vena cava syn drome,PSVCS).其后,随着永久性心脏起搏器的广泛应用,PS