反证法的一般步骤：

(1)反设——_________．

(2)归谬——_________．

(3)存真——_________．

反证法的证明过程为“否定——_________——_________”．

反证法：一般地，假设原命题不成立．经过正确的推理，最后得出矛盾，因此说明假设错误，从而证明了原命题成立，这样的证明方法叫做_________(reducation to absurdity)．

不是直接从命题的条件逐步推得命题成立，这种不是直接证明的方法称为_________(indirect proof)．_________就是一种常用的间接证明方法．

从问题的结论出发，追溯导致结论成立的条件，逐步上溯，直到使结论成立的条件与已知条件吻合为止．这种证明方法称为_________．

从已知条件出发，以已知的_________为依据，逐步下推，直到推出要证明的结论为止，这种证明方法称为综合法．

直接从原命题的条件逐步推得命题成立的，这种证明称为_________(direct proof)．

如图，平面中两条直线l₁和l₂相交于点O，对于平面上任意一点M，若p、q分别是M到直线l₁和l₂的距离，则称有序非负实数对(p、q)是点M的“距离坐标”，根据上述定义，“距离坐标”是(1，2)的点的个数是_________．

在推理a＞b，b＞ca＞c中，前提是_________，结论是_________．

三段论中包含了3个命题，第一个命题称为——_________，它提供了一个一般性的原理；

第二个命题叫_________，它指出了一个特殊对象．这两个判断结合起来，揭示一般原理与特殊对象的内在联系，从而得到第三个命题——_________．