xuǎn yán zhèng míng
同缩写 1 条
xyzm
选言证明
运用选言直言推理所作的证明。间接证明的一种。以论题为一个选言支,构造一个穷尽该问题一切可能的选言判断,并断定除该选言支外,其他选言支都是假的,从而断定论题是真的。如为了证明电灯突然熄灭是因为灯泡坏了,可以构造选言判断如下电灯突然熄灭,或者是因为停电,或者是因为保险丝烧断,或者是因为线路发生故障,或者是因为灯泡坏了。”然后根据事实断定前三个选言支为假,从而断定论题是真的。
首字
选
快速说明
这里可以直接查看缩写对应词语、拼音和解释。
核心释义
词语解释
运用选言直言推理所作的证明。间接证明的一种。以论题为一个选言支,构造一个穷尽该问题一切可能的选言判断,并断定除该选言支外,其他选言支都是假的,从而断定论题是真的。如为了证明电灯突然熄灭是因为灯泡坏了,可以构造选言判断如下电灯突然熄灭,或者是因为停电,或者是因为保险丝烧断,或者是因为线路发生故障,或者是因为灯泡坏了。”然后根据事实断定前三个选言支为假,从而断定论题是真的。