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

“演绎证明”的对称。运用归纳推理所作的证明。论题是一般性知识，论据是在该一般性知识范围之内的知识或事实。只有完全归纳推理和科学归纳推理可以用于证明，简单枚举归纳推理不能用于证明。

1.证人。

1.由机关﹑学校﹑团体等发的证明资格或权力的文件。

“直接证明”的对称。通过断定相关判断之假来断定论题之真的证明方法。有反证法和选言证明两种。

“归纳证明”的对称。运用演绎推理所作的证明。论据是一般性知识，论题是在该一般性知识范围之内的知识或事实。如以“一切科学都是有用的”来证明“逻辑学是有用的”。

“间接证明”的对称。直接用论据断定论题为真的证明方法。

①用可靠的材料或事实来表明或判定真伪对错等：证明一条定理｜我证明他当时不在场。 ②可用来证实的材料：事实是最好的证明。 ③以若干判断为根据，断定另一个判断为真的思维形式。断定一个判断为真，不等于该判断确实为真，也不等于一个判断的真实性确实得到断定。只有正确的证明，才能确实断定一个判断的真实性。一切证明都由论题、论据和论证组成，都通过推理实现，论据相当于推理的前提，论题相当于推理的结论，论证相当......更多

①数论中著名难题之一。1742年，德国数学家哥德巴赫提出：每一个不小于6的偶数都是两个奇素数之和；每一个不小于9的奇数都是三个奇素数之和。实际上，后者是前者的推论。两百多年来，许多数学家孜孜以求，但始终未能完全证明。1966年，中国数学家陈景润证明了“任何一个充分大的偶数都可以表示成一个素数与另一个素因子不超过2个的数之和”，简称“1+2”。这是迄今世界上对“哥德巴赫猜想”研究的最佳成果。 ②报......更多

马克思作于1871年4-5月。总结了法国巴黎公社的经验教训，进一步阐明了关于阶级斗争、国家、无产阶级革命和无产阶级专政的理论。证明无产阶级必须用革命暴力摧毁资产阶级的国家机器，建立巴黎公社式的新型的无产阶级专政国家。