首页
热门词典
中文词典
梗流行语
应用下载
汉语词典
汉语字典
成语词典
说文解字
近反义词
书法字典
诗词名句
诗词古文
中文造句
励志名言
首页
-
汉语词典
-
选言证明
选言证明
拼音
xuǎn yán zhèng míng
词典解释
运用
选言直言推理
所作
的证
明。
间接证明
的
一种
。以
论题
为
一个
选言
支,
构造
一个
穷尽
该
问题
一切
可能
的
选言判断
,并
断定
除该选言支外,
其他
选言支都是假的,
从而
断
定论
题是
真的
。如
为了
证明
电灯
突然
熄灭
是
因为
灯泡
坏了,
可以
构造选言
判断
如下
:“电灯突然熄灭,
或者
是因为
停电
,或者是因为
保险丝
烧断,或者是因为
线路
发生
故障
,或者是因为灯泡坏了。”
然后
根据
事实
断定前三个选言支为假,从而断定论题是真的。
0
纠错
猜你喜欢
阿父
事况
硌窝儿
围姓
换装
鸭茅
油橘
三淮南
百日王朝
应用推荐
火柴人神将对决
ZEDGE
气球人变形战跑
挨饿荒野(最新版本)
我的忍者村免广告版
射击我最牛
方块冲突最新版
悟空超进化
诗词名句
四海各安堵,六军同晏眠
宋代
李处权
何人斗巧,运紫檀、翦出蜂房。
宋代
张先
烈文辟公,锡兹祉福。
先秦
诗经
浅倾家酿酒,细读手抄书
宋代
刘克庄
牧竖远当烟草立,饥禽闲傍渚田飞。
唐代
韦庄
欲去更闻狮子吼,忘归桥下兴犹浓
宋代
张元干
烂漫只因前夜雨,馨香无奈此时风
宋代
李至
知君无地种江蓠,看了衡山看九疑
宋代
乐雷发
憔悴莫酬渔父笑,浪交千载咏离骚。
唐代
汪遵
燕楼鹤表半飘零,算惟有、盟鸥堪语。
宋代
周密