关于实质蕴涵“如果4那么B”的一些思考

这篇文章尝试辩解布尔（亚里士多德式）逻辑中关于实质蕴涵的反直观定义。主要问题是：自然语言和逻辑定义的“蕴涵”的隐喻之间的联系是什么？为了更好地理解该定义和避免一些潜在的困惑，本文呈现出不同论点，并论述了“A→B”的经典定义的合理性。