选言证明
xuǎn yán zhèng míng
選言證明
选言证明的意思
词语解释
选言证明
◎运用选言直言推理所作的证明。间接证明的一种。以论题为一个选言支,构造一个穷尽该问题一切可能的选言判断,并断定除该选言支外,其他选言支都是假的,从而断定论题是真的。如为了证明电灯突然熄灭是因为灯泡坏了,可以构造选言判断如下电灯突然熄灭,或者是因为停电,或者是因为保险丝烧断,或者是因为线路发生故障,或者是因为灯泡坏了。”然后根据事实断定前三个选言支为假,从而断定论题是真的。
国语辞典
选言证明
◎运用选言直言推理所作的证明。间接证明的一种。以论题为一个选言支,构造一个穷尽该问题一切可能的选言判断,并断定除该选言支外,其他选言支都是假的,从而断定论题是真的。如为了证明电灯突然熄灭是因为灯泡坏了,可以构造选言判断如下电灯突然熄灭,或者是因为停电,或者是因为保险丝烧断,或者是因为线路发生故障,或者是因为灯泡坏了。”然后根据事实断定前三个选言支为假,从而断定论题是真的。
网络解释
选言证明 (汉语词语)
运用选言直言推理所作的证明。间接证明的一种。以论题为一个选言支,构造一个穷尽该问题一切可能的选言判断,并断定除该选言支外,其他选言支都是假的,从而断定论题是真的。如为了证明电灯突然熄灭是因为灯泡坏了,可以构造选言判断如下电灯突然熄灭,或者是因为停电,或者是因为保险丝烧断,或者是因为线路发生故障,或者是因为灯泡坏了。”然后根据事实断定前三个选言支为假,从而断定论题是真的。
字义分解
选
拼音 xuǎn 部首 辶 总笔画 9选 [ xuǎn ]◎ ①挑拣,择。例如~择。~购。~辑(①挑选并辑录;②选辑成的书)。~拔。~用。~贤任能。②用投票或举手等表决方式推举出代表或负责人。例如~举。普~。③被选中的(人或物)例如入~。人~。④选辑成册的作品。例如文~。诗~。短篇小说~。 [更多解释]
言
拼音 yán 部首 言 总笔画 7言 [ yán ]◎ ①讲,说。例如~说。~喻。~道。~欢。~情。~必有中( zhòng )(一说就说到点子上)。②说的话。例如~论。~辞(亦作“言词”)。语~。~语。~简意赅。③汉语的字。例如五~诗。七~绝句。洋洋万~。④语助词,无义。例如~归于好。“~告师氏,~告~归”。⑤姓。 [更多解释]
证
拼音 zhèng 部首 讠 总笔画 7证 [ zhèng ]◎ ①用人物、事实来表明或断定。例如~明。保~。~实。作~。对~。论~。人~。物~。②凭据,帮助断定事理的东西。例如~据。凭~。~书。出入~。~章。有诗为~。~券。 [更多解释]
明
拼音 míng 部首 日 总笔画 8明 [ míng ]◎ ①亮,与“暗”相对。例如~亮。~媚。~净。~鉴(➊明镜;➋指可为借鉴的明显的前例;➌明察)。~灭。~眸。~艳。~星。~珠暗投(喻怀才不遇或好人失足参加坏团伙,亦泛指珍贵的东西得不到赏识)。②清楚。例如~白。~显。~晰。~了。~确。~朗。③懂得,了解。例如~哲保身。不~事理。深~大义。④公开,不隐蔽。例如~说。~讲。~处。⑤能够看清事物。例如~察秋毫。耳聪目~。眼~手快。⑥睿智。例如英~。贤~。~君。⑦视觉,眼力。例如失~。⑧神灵,泛指祭神供神之物。例如~器(殉葬用的器物,亦作“冥器”)。⑨次(专指日或年)例如~日。~年。⑩中国朝代名。例如~代。⑪姓。 [更多解释]
