以下自考復(fù)習(xí)資料均由浙江自考網(wǎng)整理并發(fā)布，考生想要了解更多關(guān)于浙江自考報名、考試、成績查詢、畢業(yè)、歷年真題、常見問答等相關(guān)信息請關(guān)注浙江自考網(wǎng)，獲取浙江自考更多信息。

　　選言推理就是前提中至少有一個是選言判斷的推理。也叫做選言三段論。它可以分為相容的選言推理和不相容的選言推理兩種。

　　一、相容的選言推理

　　相容的選言推理就是前提中有一個是相容的選言判斷的選言推理。

　　相容的選言推理有兩條規(guī)則：第一，否定一部分選言支，就要肯定另一部分選言支；第二，肯定一部分選言支，不能否定另一部分選言支。

　　根據(jù)規(guī)則，相容的選言推理只有一個有效式，即：否定肯定式。其推理形式如下：

　　　　p或者q　　　　或　　　　p或者q

　　　　非p　　　　　　　　　　　非q

　　　　所以，q　　　　　　　　　所以，p

也可以符號化為：

　　　　（（púq）ù?p）?q　　　　或　　　　（（púq）ù?q）?p

　　二、不相容的選言推理

　　不相容的選言推理就是前提中有一個是不相容的選言判斷的選言推理。

　　不相容的選言推理有兩條規(guī)則：第一，否定一部分選言支，就要肯定另一部分選言支；第二，肯定一部分選言支，就要否定另一部分選言支。

　　根據(jù)規(guī)則，不相容的選言推理有兩個有效式：

　　1.否定肯定式，其推理形式如下

　　　　要么p，要么q　　　　或　　　　要么p，要么q

　　　　非p                                                      非q

　　　　所以，q　　　　　　　　　　　　所以，p

也可以符號化為：

　　　　（（p`úq）ù?p）?q　　　　或　　　　（（p`úq）ù?q）?p

　　2.肯定否定式，其推理形式如下：

　　　　要么p，要么q　　　　或　　　　要么p，要么q

　　　　p                                                      　q

　　　　所以，非q　　　　　　　　　　　所以，非p

也可以符號化為：

　　　　（（p`úq）ùp）??q　　　　或　　　　（（p`úq）ùq）??p