选言证明

词语解释

选言证明（選言證明）[ xuǎn yán zhèng míng ]

⒈  运用选言直言推理【lǐ】所作【zuò】的【de】证明。间接证明的一种。以【yǐ】论题为一个【gè】选言【yán】支，构造一个【gè】穷尽【jìn】该问题一切可能【néng】的选言判断，并断【duàn】定【dìng】除该选言支外，其【qí】他选言支都是假的，从而断定论题【tí】是真【zhēn】的。如【rú】为了【le】证明电灯【dēng】突然熄【xī】灭是因为灯泡坏了，可以构造【zào】选言判断【duàn】如下：“电灯突【tū】然熄灭【miè】，或者是因【yīn】为停电，或者【zhě】是因为保险丝烧断【duàn】，或者是因为【wéi】线路发【fā】生故障，或者是因为灯泡【pào】坏了。”然后【hòu】根据事实断定【dìng】前【qián】三个选言支为假，从而断定论题【tí】是真的。

分字解释