归谬法是一种推翻谬误的逻辑方法。

归谬法的依据是逻辑思维基本规则——矛盾律，即在同一思维过程中，两个相互否定或矛盾的判断不能同时成立。

归谬法首先假设谬误为真，然后通过演绎推理，推出一个与已知为真的科学事实或科学理论相悖的结论，从而否定假设，让谬误不攻自破，证明谬误不能成立。

假设谬误为A，则归谬法的逻辑思维过程如下：

（1）设A真；

（2）如果A，则B；

（3）非B；

（4）所以A假。

定义：设X₁，X₂，…，X_n独立同分布（i.i.d.），P[X_i=1]=P[X_i=-1]=1/2，则称S_n=X₁+X₂+…+X_n为一维简单对称随机游走。

证明：

（1）设“随机游走定义”为真；

（2）如果“随机游走定义”成立，则D[S_n]=n；

（3）由随机游走常返性，当S_n=0时，有D[S_n]=D[0]=0≠n；

（4）所以“随机游走定义”为假。

因此，《随机过程》随机游走定义不能成立。

证明思路：

假设随机游走S_n在第n步时返回原点，分别求取随机游走定义和随机游走常返性在返回原点时的方差D[S_n]，推出相悖或矛盾的结论，使随机游走定义不攻自破。

参考：

[1] 偷换概念的《随机过程》

https://blog.sciencenet.cn/blog-3418723-1424101.html

[2] 高宏.随机游走定义的概念错误及纠正[J].数学学习与研究,2021(28):136-139.