反证法的逻辑

欲证“若P则Q”为真命题，从相反结论出发，得出矛盾，从而原命题为真命题。
其形式逻辑思维过程如下：
p => q,等价于
非q=>非p；
但由于推出非p比较困难，故转化为 非q&p 矛盾，即不成立（或者非q与客观事实矛盾）。
推论：同理也可以得到
p=>q等价于 p&非q 矛盾。