间接论证的例子:
论题:先有蛋,后有鸡。
论证步骤:
一、提出论题:先有蛋,后有鸡。
二、提出反论题,即论题的反面:先有鸡,后有蛋。
三、证明反论题为假:假设“先有鸡,后有蛋”为真,那么先有的这鸡是哪来的?显然,无法证明最先有的鸡的产生的方式。而根据唯物主义的世界观,任何一种物质都不可能凭空产生的,一定是由其他物质经过物质的运动而转化而来的。显然,“先有鸡,后有蛋”命题与唯物观相矛盾。因此,根据推理,得出推论:“先有鸡,后有蛋”为假。
四、所以,论题“先有蛋,后有鸡”为真。

直接论证(直接证明)介绍:
直接证明也称为逻辑演绎,是指从公认的事实或者公理出发,运用逻辑推演而导出需要证明的命题的真伪的方法。直接证明法一般使用谓词逻辑,运用存在量词或全称量词。主要的证明方式有肯定前件论式、否定后件论式、假言三段论式以及选言三段论式等等。
以上内容参考:百度百科-直接证明
以上内容参考:百度百科-间接证明
