２.不相容选言推理
不相容选言推理的一个前提是不相容选言命题。它的另一个前提肯定或否定该命题中的一个子命题，结论则否定或肯定该命题中的其余的子命题。不相容选言推理的选言前提是不相容的。由于它的子命题中只有一个是真的，所以当它肯定其中一个为真时，就可以推断其余子命题是假的，因之它可以有肯定否定式。当然，它也可以有否定肯定式。
（１）否定肯定式：若否定一个不相容选言命题的一个选言支，则必须肯定它的另一个选言支。其形式为：
要么ｐ，要么ｑ
非ｐ所以，ｑ
例如：
到日本去要么坐飞机，要么坐船，
他到日本不是坐飞机，所以，他到日本是坐船。
或者：
要么ｐ，要么ｑ
非ｑ所以，ｐ
例如：
到日本去要么坐飞机，要么坐船，
他到日本不是坐船，所以，他到日本是坐飞机。
（２）肯定否定式：若肯定一个不相容选言命题的一个选言支，则必须否定它的另一个选言支。其形式为：
要么ｐ，要么ｑ
ｐ所以，非ｑ
例如：
要么你死，要么我亡，
你死，所以，不是我亡。
或者：
要么ｐ，要么ｑ
ｑ所以，非ｐ
例如：
要么你死，要么我亡，
我亡，所以，不是你死。
