選言命題推理

　　1.相容選言推理

　　相容選言推理公式：

　　p 或者 q p 或者 q

　　既然非 p 既然非 q

　　所以，q 所以，p

　　相容選言推理有兩條規(guī)則：

　　(1)否定一部分選言支，則推出肯定另一部分選言支。(簡(jiǎn)稱為“否定肯定式”)

　　(2)肯定一部分選言支，不能推出否定另一部分選言支。

　　2.不相容選言推理

　　不相容選言推理是前提中有一不相容選言命題，并根據(jù)不相容選言命題與其支命題之間的真假制約關(guān)系所進(jìn)行的推理。

　　不相容選言推理公式：

　　要么 p，要么 q 或

　　要么 p，要么 q

　　既然 p 既然非 p

　　所以，非 q 所以，q

　　要么 p，要么 q 或

　　要么 p，要么 q

　　既然 q 既然非 q

　　所以，非 p 所以，p

　　不相容選言推理有兩條規(guī)則：

　　(1)否定一個(gè)選言支，則推出肯定未被否定的那個(gè)選言支。

　　(2)肯定一個(gè)選言支，就要否定其余的選言支。