词语

选言证明运用选言直言推理所作的证明。间接证明的一种。以论题为一个选言支构造一个穷尽该问题一切可能的选言判断并断定除该选言支外，其他选言支都是假的从而断定论题是真的。如为了证明电灯突然熄灭是因为灯泡坏了可以构造选言判断如下：“电灯突然熄灭或者是因为停电或者是

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

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

荒唐证明各类“奇葩证明”层出不穷外出旅游、买卖房子、找工作、生孩子等都需要出具证明社区居委会沦为“万能”的开证机构。

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

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

证明根据确实的材料判明真实性。例照相副本的核对当时已证明属实。英prove; demonstrate;指证明书、证明信。例开证明。英certificate; identification; testimonial;

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