在讲述条件逻辑的时候，我们说过：
a ---> b, 但是不能保证命题：非a ---> 非b 一定成立。
例子：小明在跑步，所以他一定在移动。但是小明没有跑，因此小明没有动。这个命题就不一定成立了。
在讲述条件逻辑的时候，我们说过：
a ---> b, 但是不能保证命题：非a ---> 非b 一定成立。
例子：小明在跑步，所以他一定在移动。但是小明没有跑，因此小明没有动。这个命题就不一定成立了。
本文标题：P5.1 Denying the antecedent
本文链接：https://www.haomeiwen.com/subject/rafpqqtx.html
网友评论