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

dào yǐn1.官名。民国三年置，为一道之行政长官，管理所辖各县的行政事务。

lǐng zhí1.谓管理所掌之职务。

yì sì1.理所当然的继承者。

guī nà zhèng míng“演绎证明”的对称。运用归纳推理所作的证明。论题是一般性知识，论据是在该一般性知识范围之内的知识或事实。只有完全归纳推理和科学归纳推理可以用于证明，简单枚举归纳推理不能用于证明。

sù lǐ1.谓接受申诉而重新审理。 2.指申诉请求重新审理。 3.见"诉理所"。

yǎn yì zhèng míng“归纳证明”的对称。运用演绎推理所作的证明。论据是一般性知识，论题是在该一般性知识范围之内的知识或事实。如以“一切科学都是有用的”来证明“逻辑学是有用的”。