证明书
归纳证明
拼音:ɡuī nà zhènɡ mínɡ 首字母大写:GNZM五笔:jv xmw yg je 归纳证明的同义词反义词
“演绎证明”的对称。运用归纳推理所作的证明。论题是一般性知识,论据是在该一般性知识范围之内的知识或事实。只有完全归纳推理和科学归纳推理可以用于证明,简单枚举归纳推理不能用于证明。
间接证明(间jiàn)
拼音:jiàn jiē zhènɡ mínɡ ( jiān j i à n )首字母大写:JJZM(JJIàN)五笔:uj ruv yg je ( uj j i à n ) 间接证明(间jiàn)的同义词反义词
“直接证明”的对称。通过断定相关判断之假来断定论题之真的证明方法。有反证法和选言证明两种。
选言证明
拼音:xuǎn yán zhènɡ mínɡ 首字母大写:XYZM五笔:tfqp yyy yg je 选言证明的同义词反义词
运用选言直言推理所作的证明。间接证明的一种。以论题为一个选言支,构造一个穷尽该问题一切可能的选言判断,并断定除该选言支外,其他选言支都是假的,从而断定论题是真的。如为了证明电灯突然熄灭是因为灯泡坏了,可以构造选言判断如下:“电灯突然熄灭,或者是因为停电,或者是因为保险丝烧断,或者是因为线路发生故障,或者是因为灯泡坏了。”然后根据事实断定前三个选言支为假,从而断定论题是真的。
证明
证明师
演绎证明
拼音:yǎn yì zhènɡ mínɡ 首字母大写:YYZM五笔:ipgw xcg yg je 演绎证明的同义词反义词
“归纳证明”的对称。运用演绎推理所作的证明。论据是一般性知识,论题是在该一般性知识范围之内的知识或事实。如以“一切科学都是有用的”来证明“逻辑学是有用的”。
直接证明
反证法
拼音:fǎn zhènɡ fǎ 首字母大写:FZF五笔:rc yg ifc 反证法的同义词反义词
证明定理的一种方法,先提出和定理中的结论相反的假定,然后从这个假定中得出和已知条件相矛盾的结果来,这样就否定了原来的假定而肯定了定理。也叫归谬法。