a推b的否命题是a且非b
而a且b的否命题是非a或b
所以非a或者b都可以使a推b为真

兄弟，你说这个问题我之前也遇到过的，主要是因为逻辑语言和我们自然语言是有差异性的，感兴趣的话你去搜一搜“实质蕴涵怪论”

如果那么这个自然语句，和逻辑上的推出，这两者其实并不是等价的

这是一个非常反直觉，非常逆天的**玩意儿

我之前也困扰了很久，但是你要把它作为题目来理解，就是这个意思罢了，本身他在做这个等价的时候就不是严谨的，是很奇怪的

钱建伟 候建真

就比如，如果你有钱你就结婚，现在你有钱了你不结婚，那就是矛盾（假）的了。但是你没钱（前假），我能说你是矛盾的吗？不能吧，那就是真的了

否前和肯后，命题恒真，但命题恒真不代表事实真，A推B，把假言命题换成选言命题就是A且B，否A且B，否A且否B，这三种情况，现在否A了，所以命题一定是真的啊，一样的道理，肯后，也就是肯B命题也恒真

如果你买东西我就发货。你没买我没发为真。你没买但是还是发货了也为真，你不能占了便宜还说我不诚信。你买了我不发货是假，不诚信

a➡️b与a且非b矛盾，a➡️b等价于非a或b，然后你带入花生十三给的条件就发现，前件假与后件真的时候命题是直接成立的

前件伪后件真命题都为真，不懂也没事，死记住就行

离散没学吗

否后必否前 否前肯后不一定

结果是周五，无论条件是什么都是真命题。条件不对，不管结果是什么，都是真命题