xuǎn yán zhí yán tuī lǐ第一个前提是选言判断，第二个前提和结论都是直言判断，分别肯定或否定该选言判断的一个或几个选言支的推理。

xuǎn yán zhèng míng运用选言直言推理所作的证明。间接证明的一种。以论题为一个选言支，构造一个穷尽该问题一切可能的选言判断，并断定除该选言支外，其他选言支都是假的，从而断定论题是真的。如为了证明电灯突然熄灭是因为灯泡坏了，可以构造选言判断如下：“电灯突然熄灭，或者是因为停电，或者是因为保险丝烧断，或者是因为线路发生故障，或者是因为灯泡坏了。”然后根据事实断定前三个选言支为假，从而断定论题是真的。

jiàn jiē tuī lǐ“直接推理”的对称。前提有两个或更多判断的推理。主要包括：三段论，纯粹关系推理，混合关系推理，纯粹假言推理，假言直言推理，选言直言推理，假言选言推理，各种归纳推理，类比推理。