逻辑在调试中的作用

1。今天运用在逻辑上的使用：

调式double serice 和 double  provider 死活不出来，

运行这两个，就是不出来，我在图上分析了原因：

 

反证方法： 如果顺序真是这样的，证明我的假设是错的，

                  引入 事实结果1： 但是现实我是对的。

                只有一种可能性了，我调用都没调用。

搞定。