充分條件推理的例子

如果a能推出b，那麼a就是b的充分條件。

體現在刑事偵查中，偵查人員發現的大量證據及物證，人證等為小前提推出結論的思維過程，便是充分條件，假言推理，在刑事偵查中的運用。

偵查的任務是通過現場勘查，調查訪問，獲取犯罪發生的情況及作案人的線索，在此基礎上，警察要對案情進行分析，判斷，斷定案件的性質，提出偵查，假設包括確定案件發生的方向，猜測作案人的範圍，置頂破案的方向，然後實行偵察，最終破案。

充分條件假言推理

充分條件假言推理是根據充分條件假言命題的邏輯性質進行的推理。

中文名

充分條件假言推理

解析

根據充分條件假言命題的邏輯性質進行的推理

充分條件假言推理有兩條規則：

規則1：肯定前件，就要肯定後件否定前件，不能否定後件。

規則2：否定後件，就要否定前件肯定後件，不能肯定前件。

根據規則，充分條件假言推理有兩個正確的形式：

（1）肯定前件式

如果p，那麼q

p

___________

所以，q

（2）否定後件式

如果p，那麼q

非q

___________

所以，非p

例如：

1、 如果誰驕傲自滿，那麼他就要落後小張驕傲自滿，所以，小張必定要落後。

2、 如果誰得了肺炎，他就一定要發燒小李沒發燒，所以，小李沒患肺炎。

例1和例2都是充分條件假言推理，前者是肯定前件式後者是否定後件式。這兩個推理都符合推理規則，所以，都是正確的。

根據規則，充分條件假言推理的否定前件式和肯定後件式都是無效的。例如：

3、 如果降落的物體不受外力的影響，那麼，它不會改變降落的方向這個物體受到了外力的影響，所以，它會改變降落的方向。

4、 如果趙某是走私犯，那麼，他應受法律制裁經查明，趙某確實受到了法律制裁，所以，趙某是走私犯。

例3和例4都是不正確的充分條件假言推理，因為例3違反了“否定前件，不能否定後件”的規則例4違反了“肯定後件，不能肯定前件”的規則。

如果A能推出B，那麼A就是B的充分條件。其中A為B的子集，即屬於A的一定屬於B，而屬於B的不一定屬於A，具體的説若存在元素屬於B的不屬於A，則A為B的真子集若屬於B的也屬於A，則A與B相等。