-
假言聯言推理
鎖定
- 中文名
- 假言聯言推理
- 外文名
- hypothetical-conjunctive inference
- 所屬學科
- 數學（形式邏輯）
- 特 點
- 由兩假言判斷和一聯言判斷做前提
- 分 類
- 簡單式和複雜式
目錄
假言聯言推理假言聯言推理的定義
假言聯言推理可依結論是直言判斷還是聯言判斷，分為簡單式和複雜式；又可依聯言前提的聯言肢是肯定假言前提的前件還是否定其後件，而分為肯定式和否定式。
假言聯言推理假言聯言推理的簡單式
假言聯言推理簡單肯定式
簡單肯定式假言聯言推理的兩個假言前提的前件不同，而後件相同；聯言前提的聯言肢肯定假言前提的前件；結論肯定假言前提後件，為一直言判斷。由於這一推理是由肯定前件到肯定後件，其結論屬簡單判斷，所以稱之為“簡單肯定式”。
其結構式為：
如果P，那麼R，
如果Q，那麼R，
P並且Q，
所以，R。
例如：
如果衣着合體，那麼人顯得漂亮；
如果衣着顏色協調，那麼人顯得漂亮，
她衣着合體並且顏色協調，
所以，她顯得很漂亮。
假言聯言推理簡單否定式
簡單否定式假言聯言推理的兩個假言前提的前件相同，而後件不同；聯言前提的聯言肢否定假言前提的後件；結論否定其前件，為一直言判斷。由於這一推理是由否定後件到否定前件，而結論屬簡單判斷，所以稱之為“簡單否定式”。
簡單否定式的結構式為：
如果P，那麼R，
如果P，那麼Q，
非R並且非Q，
所以，非P。
例如：
如果一個人真正認識了錯誤，他就承認錯誤；
如果一個人真正認識了錯誤，他就改正錯誤；
他既不承認錯誤，又不改正錯誤，
假言聯言推理假言聯言推理的複雜式
假言聯言推理複雜肯定式
複雜肯定式假言聯言推理的兩個假言前提的前、後件均不相同；聯言前提的聯言肢肯定假言前提的前件；結論則肯定假言前提後件，為一聯言判斷。由於這一推理是由肯定前件到肯定後件，而結論屬複合判斷，所以稱之為“複雜肯定式”。
其結構式為：
如果P，那麼R，
如果Q，那麼S，
P並且Q，
所以，R並且S。
例如：
一個人如果常練短跑，那麼會有速度；
一個人如果常練長跑，那麼會有耐力；
他既常練短跑，也常練長跑，
假言聯言推理複雜否定式
複雜否定式假言聯言推理的兩個假言前提的前、後件均不相同；聯言前提的聯言肢否定假言前提的後件；結論則否定假言前提的前件，為一聯言判斷。由於這一推理是由否定後件到否定前件，而結論屬複合判斷，所以稱之為“複雜否定式”。
複雜否定式的結構式為：
如果P，那麼R；
如果Q，那麼S；
非R並且非S，
所以，非P並且非Q。
例如，據《隋書》記載，隋文帝楊堅不相信墓田風水之談，以自家情況論證風水説不可信。他説：“我家墓田，若雲不吉，我不當貴為天子；若雲吉，我弟不當戰死。”其推理的結構式為：
如果風水不吉，我不貴為天子；
如果風水吉，我弟不死；
今我貴為天子且弟死；
