离散数学蕴含式

蕴含式：由命题 p，q 产生的复合命题 “若 p 则 q”，称为 p 蕴涵 q，记为 p→q，称 p 为蕴涵式的前件，q 为蕴涵式的后件，“ →” 为蕴涵联结词。
　　p→q 为假当前仅当 p 真 q 假。

硬背下来，
其实你列举的几个都是说如果p成立，则q必须成立，

蕴含联结词确实为很多人诟病，并且还有很多替代方案，
但是替代方案都更复杂，而且没有一个得到大家公认，
因此用蕴含联结词是最简单的情况，其它更复杂的逻辑，要专门去读逻辑专业，
逻辑的基础到底可靠不可靠，这个不是逻辑内部能解决的，要到哲学里去讨论，所以对蕴含联结词到底合理不合理这件事，哲学上看法五花八门，
如果你对这个问题感兴趣，可以找逻辑哲学方面的书看看，不过内容都很难