选言证明

词语解释

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

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

分字解释