xuăn yán zhèng míng

选言证明

拼音
xuăn yán zhèng míng
注音
ㄒㄩㄢˇ ㄧㄢˊ ㄓㄥˋ ㄇㄧㄥˊ
繁体
選言證明

选言证明的意思

词语解释

选言证明(選言證明)xuǎn yán zhèng míng

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

选言证明的字义分解

  • 明

    拼音 míng 部首 日 总笔画 8

    ["①亮,与“暗”相对。如 ~亮。~媚。~净。~鉴(➊明镜;➋指可为借鉴的明显的前例;➌明察)。~灭。~眸。~艳。~星。~珠暗投(喻怀才不遇或好人失足参加坏团伙,亦泛指珍贵的东西得不到赏识)。②清楚。如 ~白。~显。~晰。~了。~确。~朗。③懂得,了解。如 ~哲保身。不~事理。深~大义。④公开,不隐蔽。如 ~说。~讲。~处。⑤能够看清事物。如 ~察秋毫。耳聪目~。眼~手快。⑥睿智。如 英~。贤~。~君。⑦视觉,眼力。如 失~。⑧神灵,泛指祭神供神之物。如 ~器(殉葬用的器物,亦作“冥器”)。⑨次(专指日或年)如 ~日。~年。⑩中国朝代名。如 ~代。⑪姓。"]详细解释

  • 言

    拼音 yán 部首 言 总笔画 7

    ["①讲,说。如 ~说。~喻。~道。~欢。~情。~必有中( zhòng )(一说就说到点子上)。②说的话。如 ~论。~辞(亦作“言词”)。语~。~语。~简意赅。③汉语的字。如 五~诗。七~绝句。洋洋万~。④语助词,无义。如 ~归于好。“~告师氏,~告~归”。⑤姓。"]详细解释

  • 证

    拼音 zhèng 部首 讠 总笔画 7

    ["①用人物、事实来表明或断定。如 ~明。保~。~实。作~。对~。论~。人~。物~。②凭据,帮助断定事理的东西。如 ~据。凭~。~书。出入~。~章。有诗为~。~券。"]详细解释

  • 选

    拼音 xuǎn 部首 辶 总笔画 9

    ["①挑拣,择。如 ~择。~购。~辑(①挑选并辑录;②选辑成的书)。~拔。~用。~贤任能。②用投票或举手等表决方式推举出代表或负责人。如 ~举。普~。③被选中的(人或物)如 入~。人~。④选辑成册的作品。如 文~。诗~。短篇小说~。","◎同“先”,出自战国楚简。"]详细解释

选言证明的分字组词

选言证明的相关词语