选言推理

旧称选言三段论或混合选言三段论。是一前提为选言命题，另一前提为此选言命题的支命题的负命题的推理。传统逻辑一般只讨论相容的析取“或者”，因而选言推理只有一种形式：

　　p或者q

　　并非p

　　所以q

此形式可改述为推理规则：否认一个选言支，就要承认另一个选言支。在日常思维中容易发生的错误是由承认一个选言支进而否认另一个选言支。中国逻辑书常称具有上述形式的推理为相容的选言推理；称具有下列两形式之一的推理为不相容的选言推理：

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

p，　　　　　　　并非p，

所以，并非q。　　所以，q。

这两个有效形式也可改述为两条规则：①承认一个选言支就否认另一个选言支。②否认一个选言支就承认另一个选言支。传统逻辑曾提出一种叫做纯选三段论的有效推理，其形式为：

　　S是P或者Q。

　　S是P或者R。

　　所以，S是P或者Q或者R。

　　S是P或者Q，

　　S是非P或者R，

　　所以，S是Q或者R。

传统逻辑没有明确提出“或者”的交换律，虽然事实上已使用了它。古希腊泰奥弗拉斯多最早讨论了关于“或者”的推理。