代入法是一种逻辑推理方法，通过将所要证明的命题中的变量用具体的值替代，从而验证命题在这些值下的真假情况。

代入法常用于证明数学命题，尤其是通过对特殊情况的考察，得出一般情况下的结论。在逻辑推理中，代入法可以帮助我们简化问题，使推理过程更加具体和易于理解。