反证法的步骤

若原命题：p≧q为真
先对原命题的结论进行否定，即写出原命题的否定：p≧非q
从这个否定的结论出发，推出矛盾，即命题：非q≧p为假（即存在矛盾）
从而该命题的否定为真：非q≧非p为真
再利用原命题和逆否命题的真假性一致，即原命题：p≧q为真

先假设，然后推导引出矛盾，从而证实原命题