假言推理的种类

假言命题及推理三、假言命题及推理1.定义假言推理是根据假言命题的逻辑性质进行的推理。

分为充分条件假言推理，必要条件假言推理和充分必要条件假言推理三种。

2.充分条件假言推理充分条件假言推理是根据充分条件假言命题的逻辑性质进行的推理。

充分条件假言推理有两条规则：规则1：肯定前件，就要肯定后件；否定前件，不能否定后件。

规则2：否定后件，就要否定前件；肯定后件，不能肯定前件。

根据规则，充分条件假言推理有两个正确的形式：（1）肯定前件式如果p，那么qp___________所以，q（2）否定后件式如果p，那么q非q___________所以，非p例如：1.如果谁骄傲自满，那么他就要落后；小张骄傲自满，所以，小张必定要落后。

2.如果谁得了肺炎，他就一定要发烧；小李没发烧，所以，小李没患肺炎。

例1和例2都是充分条件假言推理，前者是肯定前件式；后者是否定后件式。

这两个推理都符合推理规则，所以，都是正确的。

根据规则，充分条件假言推理的否定前件式和肯定后件式都是无效的。

例如：3.如果降落的物体不受外力的影响，那么，它不会改变降落的方向；这个物体受到了外力的影响，所以，它会改变降落的方向。

4.如果赵某是走私犯，那么，他应受法律制裁；经查明，赵某确实受到了法律制裁，所以，赵某是走私犯。

例3和例4都是不正确的充分条件假言推理，因为例3违反了“否定前件，不能否定后件”的规则；例4违反了“肯定后件，不能肯定前件”的规则。

3.必要条件假言推理必要条件假言推理是根据必要条件假言命题的逻辑性质进行的推理。

必要条件假言推理有两条规则：规则1：否定前件，就要否定后件；肯定前件，不能肯定后件。

规则2：肯定后件，就要肯定前件；否定后件，不能否定前件。

根据规则，必要条件假言推理有两个正确的形式：（1）否定前件式只有p，才q非p___________所以，非q（2）肯定后件式只有p，才qq___________所以，p例如：1. 只有年满十八岁，才有选举权；小周不到十八岁，所以，小周没有选举权。

假言判断举例人类一直都在探索，尝试把复杂的社会习俗和自然规律归纳为一些能够有效描述实际世界的普遍的原则和规律。

这些普遍的原则和规律被称为“假言”，它表示一种普遍性的观点或理论。

假言可以帮助人们以一种更有效的方式理解世界，并作出正确的判断。

假言的判断实质上是一种推理，主要包括四种形式：排除法、归纳法、比较法和识别法。

①排除法:排除法是指在几个相关事物中，一次排除某个事物，用最后剩下的相关事物来支持一种观点。

例如，当比较三种物品之间的功效时，可以先排除掉一种，以最后剩下的两种物品来比较。

②归纳法：归纳法是指从某种情况发展到另一种情况的过程，举例来说，在不断的实验中，一种情况可能比另一种情况发展得快，所以可以认为前者更好。

③比较法：比较法是指对比当前情况与已知事实，以期得出正确的答案。

例如，当比较两种产品的价格，可以把它们与同类产品的价格作比较，以得出更适合的结论。

④识别法：识别法是指结合已知的常识，运用正确的逻辑，从中识别出目标事物。

例如，在多种果实中识别苹果，可以通过它的外形、颜色、大小、味道等来判断。

以上就是假言判断的四种形式，它们都很重要，可以协助人们做出正确的判断，增强正确推理的能力。

首先，重要的是要学会如何正确使用这些形式，需要检视和思考当前存在的矛盾或问题，找出其中的联系，从而更好地了解事情，作出正确的判断。

其次，要学会从已知的一般原则中发现隐藏的特殊事实，而这些特殊事实可以运用假言判断//来解决问题。

以上就是假言判断的基本内容，让我们来看一些实际例子，看看它是如何应用的。

例1：假言：大多数水果都很甜排除法：苹果既不甜也不苦，所以不属于大多数水果。

例2：假言：冬季一般比夏季更冷归纳法：从秋冬之交到春夏之间，气温逐渐升高，而夏季气温显著高于冬季，所以冬季一般比夏季更冷。

例3：假言：比较两种苹果，质量更佳的应该价格更高比较法：把两种苹果的价格与同类型苹果的价格进行比较，使用折扣等方式，可以判定质量更佳的苹果应该价格更高。

假言命题推理规则
1、支配法（Law of Dominance）：当两个命题因子中的一个通过其
自身的真假性来控制另一个因子的真假性时，应用支配法。

2、反证法（Reductio ad Absurdum）：如果某个命题无法被确定有
效作用，则可通过反证法来将其真假性作出判断。

3、双重否定法（Double Negation Law）：当一个命题中包含有一对
互为矛盾的双重否定性词语时，应当推断其真假性。

4、逻辑等价法（Law of Logical Equivalence）：如果一个命题可
以表达为另一个等价的命题，则它们的真假性也应当相同。

5、德摩根定理（De Morgan's Theorem）：德摩根定理可以用于判断
一个命题的真假性，当它们有一个否定组件时，便可是有效使用这一定理。

6、对立法（Law of Contradiction）：当一个命题中包含有两个矛
盾因子时，可以推断此命题一定为假。

7、极端法（Law of the Excluded Middle）：当一个命题可以分解
成两个等价的互为矛盾的因子时，可以应用极端法来推断其真假性。

8、联合法（Law of Conjunction）：当两个命题在一起使用时，它
们的真假性应当是联合的，这意味着只要有一个为假，那么整个命题就一
定为假。

9、条件法（Law of Conditionals）：当一个命题可以表示为“p 如
果q”的条件形式时，应该检查其真假性。

10、排中律（Principle of Excluded Middle）：当一个命题中包含
有两个互为矛盾的因子时，则它一定有一个为真，而另一个为假。

哲学逻辑学中的常见推理形式与谬误解析推理在哲学逻辑学中占据重要地位，它是人类思维的重要方式之一。

通过合理的推理，我们可以从已知的前提中得出合乎逻辑的结论。

然而，在推理过程中，往往会出现一些常见的推理形式和谬误。

本文将对哲学逻辑学中的常见推理形式与谬误进行解析。

一、假言推理假言推理是逻辑学中的一种常见推理形式，它通过前提中的假言条件来推断结论。

假言推理分为三种形式：假言法则、假言合成和假言分解。

1. 假言法则假言法则是指如果一个条件陈述是真实的，那么它的逆否命题也是真实的。

例如，假设条件为“如果下雪的话，地面会潮湿”，那么逆否命题为“如果地面没有潮湿，就不会下雪”。

假言法则可以应用于判断真假以及推断因果关系。

2. 假言合成与假言分解假言合成是指通过两个假言条件得出一个结论。

例如，假设条件为“如果A成立，那么B也成立；如果B成立，那么C也成立”，那么通过假言合成，可以得出结论“如果A成立，那么C也成立”。

假言分解是指通过一个复合假言条件得出多个单一假言条件。

例如，假设条件为“如果A成立，并且A成立的话，B也成立”，那么通过假言分解，可以得出结论“如果A成立，那么B也成立”。

二、陈述推理陈述推理是哲学逻辑学中的另一种重要推理形式，它通过事实的陈述来推导结论。

陈述推理分为三种形式：假言消解、假设法则和反证法。

1. 假言消解假言消解是指通过假言条件的否定来推导出结论。

例如，假设条件为“如果A成立，那么B也成立”，通过假言消解，可以得出结论“如果A不成立，那么B也不成立”。

假言消解可以用于推翻一种论证，引出反证法。

2. 假设法则假设法则是指通过假设的陈述条件和结果条件来推导出结论。

例如，假设条件为“如果A成立，那么B也成立；如果B不成立，那么C也不成立”，通过假设法则，可以得出结论“如果A成立，那么C也不成立”。

假设法则常用于推理必要条件和充分条件之间的关系。

3. 反证法反证法是一种通过假设错误结果来推导出矛盾结论的推理方法。

假言推理假言推理是根据假言命题的逻辑特性进行的推理。

这种推理的前提至少有一个是假言命题，并且根据假言命题所断定的前后件之间的条件制约关系而得出结论，主要包含充分条件假言推理、必要条件假言推理和充要条件假言推理三种形式。

一、充分条件假言推理充分条件假言推理是根据充分条件假言命题的逻辑特性进行的假言推理。

充分条件假言命题的逻辑特性是：有前件必有后件，无后件则无前件；无前件不一定无后件，有后件不一定有前件。

因此，充分条件假言推理的有效式分为两种形式：一是肯定前件式，例如：“如果谁骄傲自满，那么他就要落后；小张骄傲自满，所以，小张必定要落后。

”二是否定后件式，例如：如果谁得了肺炎，他就一定要发烧；小李没发烧，所以，小李没患肺炎。

”二、必要条件假言推理必要条件假言推理是根据必要条件假言命题的逻辑特性进行的假言推理。

必要条件假言命题的逻辑特性是，无前件必无后件，有后件则必有前件；有前件不一定有后件，无后件不一定无前件。

因此，必要条件假言推理的有效式也分为两种形式：一是否定前件式，例如“只有行为具有社会危害性，才能是犯罪行为；某甲的行为不具有社会危害性，所以某甲的行为不是犯罪行为”。

二是肯定后件式，例如“只有年满18周岁的公民，才有选举权；小张有选举权，所以，小张是年满18周岁的公民”。

三、充分必要条件假言推理充分必要条件假言推理是根据充分必要假言命题的逻辑特性进行的假言推理。

充分必要条件假言命题的逻辑特性是，有前件必有后件，无前件则必无后件；有后件必有前件，无后件则必无前件。

因此，充分必要条件假言推理的有效式有4个，包括肯定前件式、否定前件式、肯定后件式，以及否定后件式。

例如，“一个数是偶数当且仅当它能被2整除；这个数是偶数，所以，这个数能被2整除。

”、“一个数是偶数当且仅当它能被2整除；这个数不是偶数，所以，这个数不能被2整除。

”、“一个数是偶数当且仅当它能被2整除；这个数能被2整除，所以，这个数是偶数。