反证法和放缩法

　　原理

　　若原命题：p≧q为真

　　先对原命题的结论进行否定，即写出原命题的否定：p≧非q

　　从这个否定的结论出发，推出矛盾，即命题：非q≧p为假(即存在矛盾)

　　从而该命题的否定为真：非q≧非p为真

　　再利用原命题和逆否命题的真假性一致，即原命题：p≧q为真

　　误区

　　否命题与命题的否定是两个不同的概念

　　命题的否定只针对原命题的结论进行否定。而否命题同时否定条件和结论：

　　原命题：p≧q

　　否命题：非p≧非q

　　命题的否定：p≧非q

　　原命题与否命题的真假性没有必然联系，但原命题和原命题的否定却是对立的存在，一个为真另一个必然为假。