基本介紹
- 中文名：假言聯言推理
- 外文名：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。
例如，據《隋書》記載，隋文帝楊堅不相信墓田風水之談，以自家情況論證風水說不可信。他說：“我家墓田，若雲不吉，我不當貴為天子；若雲吉，我弟不當戰死。”其推理的結構式為：
如果風水不吉，我不貴為天子；
如果風水吉，我弟不死；
今我貴為天子且弟死；
所以，風水不是不吉，也不是吉。
