反证 逆证 不一样吧？

,逆证逻辑是综合型或扩展型的逻辑,这种逻辑通过发现来增加符号系统的信息;...如果说演绎保留真值,那么逆证会生成真值.逆证是可错的,但在证据无法穷尽的前提下,逆证使知识成为可能.

定义：证明定理的一种方法，先提出和定理中的结论相反的假定，然后从这个假定中得出和已知条件相矛盾的结果来，这样就否定了原来的假定而肯定了定理。也叫归谬法。

反证法的实质
事实上，反证法就是去证明一个命题的逆否命题是正确的，这与直接证明是等价的，但是可能其逆否命题比较容易证明。上述的得出了矛盾，事实上就是得出了“假设与题设不相融”这个结论，所以我们不能接受这个假设，所以这个假设的反面就是正确的，从而命题得证。

适用范围:证明一些命题,且正面证明有困难,情况多或复杂,而否定则比较浅显。

具体方法(E.G):
命题r=在C下,若A则B
反证:若A则￢B
证明￢B与A的矛盾

举例：欲证“若P则Q”为真命题，从否定其结论即“非Q”出发，经过正确的逻辑推理导出矛盾，从而“非Q”为假，即原命题为真，这样的证明方法称为反证法,
先提出和定理中的结论相反的假定，然后从这个假定中得出和已知条件相矛盾的结果来。
【反证法】 间接论证的一种。先论证与原论题相矛盾的论题即反论题为假，然后根据排中律确定原论题为真。其论证过程可以表示如下：

[求证] A(原论题)
[证明] (1)设非A真(非A为反论题)
(2)如果非A，则B(B为由非A推出的论断)
(3)非B(已知)
(4)所以，并非非A(根据充分条件假言推理的否定后件式)
(5)所以，A(非非A=A)。

--------------------------------------------------------------------------------

例如，语言学工作者论证“语言的声音和它所表示的事物之间没有必然联系”这一论题时运用反证法论证如下：“声音和词所表示的事物之间并没有什么必然的联系，并非

某一个声音必然表示某一个对象。声音和事物的结