试论假言连锁推理的完善体系

对现行高等院校形式逻辑学的假言连锁推理体系做了进一步具有探索性的研究，补充完善了假言连锁推理体系。     

二难推理及其应用

二难推理是假言选言推理的一种，是由两个假言判断和一个两肢的选言判断为前提所构成的复合判断推理。是人们在辩论时经常运用的一种推理形式。通过这种推理，辩论者的一方提出一个具有两种可能的大前提，对方不论肯定或否定其中哪一种可能，结果都会陷人一种进退维谷的境地。例如：中世纪的神学家们曾经荒谬地宣称：上帝是无所不在、无所不知、无所不能的，我们这个世界就是由这个全知、全能、全善的上帝创造出来的。对此，当时就有人提出来一个问题：上帝能否创造一块连他自己也举不起的石头？并对这个问题作了如下推论；如果上帝能创造出…     

由"半费之讼"而被误解的"两难推理"

从逻辑的角度考察著名的"半费之讼"所涉及的推理,有很多不同的观点.多数人认为其总前提有问题,有人认为违反了同一律,有人认为违反了矛盾律.但是,还有人认为推理没有逻辑错误,是一个逻辑悖论.无论是否认为它是诡辩,多数人认为其推理在形式上没有问题,属于正式的"两难推理".从推理形式的角度分析"普罗泰戈拉推理"中的诡辩性质,指出其主要问题并不是违反同一律或者矛盾律,而是以偏概全,实施了隐蔽的不等价命题代换,认定它是一个形式错误的推理.     

负判断推理的逻辑形式及特点

针对传统的普通逻辑中缺少对负判断推理的完整论述问题,阐述了负判断推理的两种形式:简单判断的负判断推理和复合判断的负判断推理.同时,归纳出负判断推理具有直接推理属性,以及前提和结论是等值关系的两方面的特点.     

模态复合命题与复合模态命题间真值关系考察

本文通过构造一个逻辑关系示意图，重点刻画了模态联言命题、模态选言命题与联言模态命题、选言模态命题之间所存在的四个等值式、四个矛盾式和三十二个蕴涵式，这些等值式、矛盾式和蕴涵式都与人们的实际思维密切联系，均可借助自然语言的实例得到直观理解，并在思维实践中加以运用。     

听力理解中判断推理的方法

判断推理是听力理解的重要技能之一。推理障矿影响听力理解水平的提高。本文按语音规则、语法规则、逻辑规则分类,结合实例,介绍了听力理解中的推理方法。希望对学生掌握听力判断推理技能有所帮助。     

神经网络复合推理技术的研究

提出了神经网络复合推理的思想，阐述了神经网络数值推理和传统符号逻辑推理的差异，提出了神经网络前置处理器和神经网络后置处理器的设计方法，建立了复合推理系统的结构，结合大型工程课题进行了验证。实践检验证明，该方法对解决非结构化，半结构化，结构化问题效果显著。     

复合函数奇偶性的判断方法

判断函数的奇偶性,对于基本初等函数是较容易的,但对于许多复合函数来说,判断其奇偶性是比较困难的,不仅需要一些数学技巧,而且还遵循一定规律. 现探讨复合函数的奇偶性的判别方法.此方法是对常用的函数奇偶性的判别方法进行深入拓展.结果和结论:利用研究得出的四个定理,一个推论可以判断复合函数的奇偶数.     

论审计形式上独立性的判断标准

审计的独立性是审计的生命,保持审计实质及形式上的独立性,是注册会计师审计及报告成立的重要条件,审计形式上独立性的判断标准包括财务关系、经营关系等。     

异构形式背景上的不确定推理

将模糊化的形式背景应用于异构数据形成的形式背景称为异构形式背景,在异构形式背景上应用证据理论对其进行推理。首先运用D-S合成公式的思想对异构形式背景进行推理,然后给出合成步骤并按照步骤对异构形式背景的具体例子进行证据推理。     

形式幂级数的复合定理

获得形式幂级数的复合定理 ,这一定理是形式幂级数的重要运算 ,有着广泛的应用性 .     

基于复合表的近似拓扑推理

采用宽边界模型表示不确定区域，基于4-交模型对简单不确定区域间的拓扑关系进行了完备分类，得到在较粗粒度上的不确定区域间的11种完备拓扑关系，即disjoint，meet，α-meet，β-meet，γ-meet，overlap，covereclBy，covers，inside，contains，equal．然后给出了这些基本拓扑关系之间的复合规则，并将这些规则总结在一个复合表中．关系复合表的建立为空间数据不确定性处理建立了推理基础，并为建立能处理不确定性的空间数据库和地理信息系统做了理论准备．     

选言命题与析取运算——从布尔代数看3种不同的析取运算

运用逻辑知识分析选言命题的形式及意义,区别3种不同的析取运算,讨论多元不相容命题的逻辑意义。从理论上讲,p1p2∨p3在现实中没有应用。对于3个支命题构成的选言命题,现实中只有2种情况:或者是二元相容析取(∨)形成的命题形式(p1∨p2∨p3),或者是三元运算形成的命题形式(p1△p2△p3)。     

论复合函数的可微性与可积性

通过实例主要论述以下两个结论：1．可微函数与可微函数两复合只是复合函数可微的一个充分条件而非必要条件;2．可积函数与可积函数复合既不是它们复合函数的充分条件也不是必要条件。     

形式规则、心理模型与概率理论——条件推理中三种理论模型的比较研究

条件推理是一种最简单的演绎推理。然而心理学家对于人们是如何进行条件推理一直存在三种不同的理论观点：形式规则、心理模型和概率理论。这些理论都能解释条件推理过程中的一些现象,但还存在一定的不足,本文将对这些理论进行详细的评述。