解释
运用选言直言推理所作的证明。间接证明的一种。以论题为一个选言支，构造一个穷尽该问题一切可能的选言判断，并断定除该选言支外，其他选言支都是假的，从而断定论题是真的。如为了证明电灯突然熄灭是因为灯泡坏了，可以构造选言判断如下：“电灯突然熄灭，或者是因为停电，或者是因为保险丝烧断，或者是因为线路发生故障，或者是因为灯泡坏了。”然后根据事实断定前三个选言支为假，从而断定论题是真的。
读音：xuǎn yán zhèng míng
首字母缩写：xyzm
【拼音】xuǎnyánzhèngmíng
「
选」字简介：
“选”指从多个对象中挑出符合要求的，是做出抉择的行为。
选字详解
「
言」字简介：
“言”是汉语中表示“说”“话语”或“言论”的字，既可作动词指说话行为，也可作名词指所说的话。
言字详解
「
证」字简介：
“证”在数学中指逻辑推导过程，即用已知公理、定理逐步推出命题成立。
证字详解
「
明」字简介：
“明”在中文中本义为日月交辉而光亮，引申为清晰、光亮、公开、智慧等意，也特指中国历史上的明朝。
明字详解
