论文部分内容阅读
提出了古典逻辑中的一些缺陷，分析指出这些缺陷最根本的原因是将实质蕴涵直接应用于推理。互逆主义逻辑提出了二元认识论，通过归纳复合的方法建立命题，通过分解的方法应用命题，从而彻底解决了古典逻辑中的缺陷，并使推理可以机械地进行，便于计算机实现。
互逆主义逻辑与古典逻辑比较
【摘 要】
：
提出了古典逻辑中的一些缺陷，分析指出这些缺陷最根本的原因是将实质蕴涵直接应用于推理。互逆主义逻辑提出了二元认识论，通过归纳复合的方法建立命题，通过分解的方法应用命题，从
【机 构】
：
北京联合大学信息学院,北京联合大学电子信息实验实训基地
【出 处】
：
北京联合大学学报：自然科学版
【发表日期】
：
2006年3期
其他文献
目的：探讨以团队为基础的（TBL）教学模式在非预防医学专业《预防医学》教学中的实践效果。方法：选取我校2016级临床本科1、2班学生作为实验对象,各45名,以《预防医学》课程为例,抽
遗传算法是一种概率搜索算法，其本身固有并行性。目前，人们正不断地致力于把遗传算法应用于各种并行机器上。在基于工作站机群技术上，构架了一种粗粒度并行遗传算法，并在MPI并行
[目的]分析盐溶液对土壤入渗特性的影响,为进一步研究供水水质对土壤入渗特性影响及机理提供参考。[方法]以NaCl、CaCl2溶液为主要试验材料,利用室内一维垂直土柱积水入渗试验,研究不同种类、不同浓度的盐溶液对土壤入渗能力的影响。[结果]溶液浓度对水分入渗性能有一定影响,2种溶液入渗率、累积入渗量及湿润锋推进距离的变化表现为50mg/L>100mg/L>10mg/L;溶液浓度相同情况下,不同溶液对