选言命题推理

1.相容选言推理

相容选言推理公式：

p 或者 q p 或者 q

既然非 p 既然非 q

所以，q 所以，p

相容选言推理有两条规则：

(1)否定一部分选言支，则推出肯定另一部分选言支。(简称为“否定肯定式”)

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

2.不相容选言推理

不相容选言推理是前提中有一不相容选言命题，并根据不相容选言命题与其支命题之间的真假制约关系所进行的推理。

不相容选言推理公式：

要么 p，要么 q 或

要么 p，要么 q

既然 p 既然非 p

所以，非 q 所以，q

要么 p，要么 q 或

要么 p，要么 q

既然 q 既然非 q

所以，非 p 所以，p

不相容选言推理有两条规则：

(1)否定一个选言支，则推出肯定未被否定的那个选言支。

(2)肯定一个选言支，就要否定其余的选言支。