图解范畴论——逻辑 2024-10-25 本文介绍了逻辑学的基本概念，包括命题、逻辑运算符、重言式、公理模式/推理规则以及逻辑系统。文章还探讨了经典逻辑和直觉主义逻辑两种不同的逻辑学派，并阐述了它们在真值函数解释和BHK解释下的区别。最后，文章将逻辑与范畴论联系起来，讨论了逻辑命题与蕴涵关系如何构成范畴，并介绍了笛卡尔闭范畴、逻辑与序的关系，以及如何用序理论和范畴论来表示逻辑运算和证明逻辑定理。 阅读更多 (abuseofnotation.github.io) 22 未分类 逻辑学 直觉主义逻辑