通过演绎方式得概称句推理的逻辑

来源 :逻辑学研究 | 被引量 : 0次 | 上传用户:SBRBWD0801
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于[4]中的逻辑系统G,本文通过删减和增加公理及规则给出3个逻辑G0,GD和Gs,同时,我们通过对正常主项选择函数添加不同的条件给出与三个逻辑相应的不同的模型定义。其中,G0是GD和Gs的基础。这些逻辑的给出是为了刻画通过演绎方式得概称句的推理的局部推理。
其他文献
通过试验和数理统计分析方法对岩石耐磨性与岩石三轴强度的相关性进行研究。分别在隧洞内采集岩石试验样品进行岩石耐磨试验和三轴试验,对试验结果数据进行回归分析。分析表明
根据两河口水电站坝址区横向河谷结构面的发育特征,结合工程探讨了可能发生的工程地质问题。结果表明,主要的工程地质问题有早期平面"X"对边坡工程的影响、早期剖面"X"对抗滑稳定的影响、早期的张裂对防渗的影响。
介绍了海甸峡水电站库区薄济渠进水口引水隧洞堵漏工程的施工技术,包括方案、施工设备和材料、施工程序、施工工艺,最后介绍了检查结果。
2015年10月23-24日,由中国逻辑学会形式逻辑专业委员会、重庆市逻辑学会、四川省逻辑学会、贵州省逻辑学会、云南省逻辑学会共同主办,重庆第二师范学院承办的“2015年全国形式
通过对明挖和洞挖两个方案的比较表明,采用洞挖方案解决了白山抽水蓄能电站下库进/出水口长度增加与泄洪的相互影响问题,节省了工程投资。
介绍了紫坪铺混凝土面板堆石坝的面板混凝土滑模施工机具配置、施工组织及施工工艺。通过精心组织,在工期紧、强度大的情况下,按期完成了面板滑模施工任务。