证明是用已知为真的判断确定某一判断为真的思维过程。
根据论证方式的不同，证明分为演绎证明、归纳证明、类比证明。
根据论据与论题之间是否直接发生联系，证明分为直接证明和间接证明。
关于演绎证明、归纳证明、类比证明的论证方式，我们从第一讲至第十三讲已讲述较详。本讲只分析直接证明和间接证明。
直截了当――直接证明的方法
直接证明是从论题出发，为论题的真实性提供直接的理由。它所采用的论证方式可以是演绎证明、归纳证明、类比证明中的任何一种或几种。
例如，修订后的《邮政法》第46条规定：“邮政企业对平常邮件的损失不承担赔偿责任。但是，邮政企业因故意或者重大过失造成平常邮件损失的除外。”有网民认为这是霸王条款。为此，2009年6月5日国家邮政局长解释了平常邮件损失不赔偿的三大理由：平常邮件没有收据及签发，有国际惯例；平常邮件具有公益性质，不是单纯的经济行为；1986年的《邮政法》即有规定，本次修订时予以保留。
一般检察机关的公诉采取的就是直接证明，直接提出证据，证明犯罪嫌疑人有罪。
迂回曲折――间接证明的方法
间接证明是通过确定与论题相矛盾的判断（反论题）或其他有关判断为假，从而确定原论题为真的证明方法。它一般包括反证法和排他法。
1.反证法
反证法是通过确定与论题相矛盾的判断（反论题）为假，然后根据排中律的不能同假的要求，证明原判断（原论题）为真的证明方法。
运用反证法的现实根据是，有时候直接证明论题有困难或烦琐，而从反面证明却非常简单明了。例如，在几何证明中我们就经常使用反证法。
又如，对于传言孔子从千里之外能看见一匹白马的说法，王充认为是论证无据的虚言。他论证说，人眼所望，不过十里，纵然传说中能望很远的离朱又名离娄，古代传说中能望得很远的人。见《慎子》：“离朱之明，察秋毫之末于百步之外。”，所望也不过百里，何况孔子呢？《论衡？书虚》。
由于反证法的逻辑根据是排中律，所以，在设立反论题时，反论题必须与原论题是矛盾关系，不能是可同假的上反对关系。
例如，为了证明“所有的人都能长命百岁”真，就反证“所有的人都不能长命百岁”假，从而推定原判断真？但由于这两个判断是上反对关系，按方阵图，可同假。彭祖颜回彭祖，传说故事人物，活了八百多岁，为长寿的象征。颜回，孔子最器重的大弟子，只活了三十多岁。寿不齐，并不能证明什么。
2.排他法
排他法又叫做选言证法或汰略法，它首先形成一个穷尽的选言判断（论题是其中的一个选言支），然后通过论据否定论题以外的其他选言支，从而确定论题为真。它采用的是选言推理的否定肯定式。排他法是案件侦破、医疗诊治和考古中经常采用的一种证明方法。例如，我们在第五讲“选言推理在认识过程中的作用”中所举的2002年“5？7”大连空难事故的调查，解开“张丕林疑团”的例证，就是采用的排他法。
在运用排他法时，必须穷尽与论题相关的所有可能判断，否则将会遗漏正确的判断。