P5.1 Denying the antecedent

在讲述条件逻辑的时候，我们说过：

a ---> b, 但是不能保证命题：非a ---> 非b 一定成立。

例子：小明在跑步，所以他一定在移动。但是小明没有跑，因此小明没有动。这个命题就不一定成立了。