xuǎn yán zhèng míng 同缩写 1 条
xyzm
选言证明

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

首字
快速说明
这里可以直接查看缩写对应词语、拼音和解释。

核心释义

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

选 组词

继续浏览

更多检索