基本介紹
- 中文名：假言連鎖推理
- 外文名：hypothetical chain inference
- 所屬學科：數學（邏輯學）
- 別名：連鎖式的假言推理、純假言推理
- 簡介：幾個假言命題的推理
假言連鎖推理的定義,充分條件假言連鎖推理,充分條件假言連鎖推理肯定式,充分條件假言連鎖推理否定式,必要條件假言連鎖推理,必要條件假言連鎖推理肯定式,必要條件假言連鎖推理否定式,
假言連鎖推理的定義
假言連鎖推理是由兩個或兩個以上的假言判斷為前提，推出一個假言判斷結論的推理。由於其前提和結論都是假言判斷，所以也稱“純假言推理”。
假言連鎖推理依其假言前提種類的不同，分為不同種類。下面介紹充分條件假言連鎖推理和必要條件假言連鎖推理兩種。
充分條件假言連鎖推理
充分條件假言連鎖推理的假言前提都是充分條件的假言判斷。這種推理分為肯定式和否定式兩種。
充分條件假言連鎖推理肯定式
其結構式為：
如果P，那么Q；
如果Q，那么R；
所以，如果P那么R。
例如：
如果沒有足夠的科技人才，那么就解決不了實際工作中的許多難題；
如果解決不了實際工作中的許多難題，那么就談不上加速我國科學技術的發展。
所以，如果沒有足夠的科技人才，就談不上加速我國科學技術的發展。
充分條件假言連鎖推理否定式
其結構式為：
如果P，那么Q；
如果Q，那么R；
所以，如果非R，那么非P。
例如：
如果有適當的安全措施，那么計算機系統被攻擊而崩潰的可能性就比較小：
如果計算機系統被攻擊而崩潰的可能性比較小，那么計算機的維護成本就比較低。
所以，如果計算機的維護成本比較高，那么，一定是沒有適當的安全措施。
充分條件假言連鎖推理由於其前提和結論都是充分條件假言判斷，所以，這種推理必須遵守充分條件假言推理的規則，只能通過肯定前件來肯定後件，或通過否定後件來否定前件。
必要條件假言連鎖推理
必要條件假言連鎖推理的假言前提都是必要條件假言判斷。這種推理也分為肯定式和否定式兩種。
必要條件假言連鎖推理肯定式
其結構式為：
只有P，才Q；
只有Q，才R；
所以，如果R，那么P。
例如：
只有建立健全法制，社會才能正常運轉；
只有社會正常運轉，才能實現社會進步。
所以，如果實現了社會進步，那么就一定建立健全了法制。
必要條件假言連鎖推理否定式
其結構式為：
只有P，才Q；
只有Q，才R；
所以，如果非P，那么非R。
例如：
只有刻苦鑽研，才能掌握現代科學技術；
只有掌握現代科學技術，才能有所發明創造。
所以，如果不刻苦鑽研，那么就不能有所發明創造。
必要條件假言連鎖推理和必要條件假言推理一樣，都是依據必要條件假言判斷的邏輯性質進行推演的。所以，必要條件假言連鎖推理也要遵守必要條件假言推理的全部推理規則。
